1.1 --- a/NEWS	Tue Apr 02 11:41:50 2013 +0200
     1.2 +++ b/NEWS	Tue Apr 02 16:29:40 2013 +0200
     1.3 @@ -43,6 +43,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Notation "{p:A. P}" now allows tuple patterns as well.
     1.8 +
     1.9  * Revised devices for recursive definitions over finite sets:
    1.10    - Only one fundamental fold combinator on finite set remains:
    1.11      Finite_Set.fold :: ('a => 'b => 'b) => 'b => 'a set => 'b