NEWS
changeset 15534 fad04f5f822f
parent 15531 08c8dad8e399
child 15570 8d8c70b41bab
     1.1 --- a/NEWS	Tue Feb 15 16:56:15 2005 +0100
     1.2 +++ b/NEWS	Wed Feb 16 19:00:49 2005 +0100
     1.3 @@ -239,6 +239,9 @@
     1.4    Similarly for all quantifiers: "ALL x > y" etc.
     1.5    The x-symbol for >= is \<ge>.
     1.6  
     1.7 +* HOL/Set: "{x:A. P}" abbreviates "{x. x:A & P}"
     1.8 +           (and similarly for "\<in>" instead of ":")
     1.9 +
    1.10  * HOL/SetInterval: The syntax for open intervals has changed:
    1.11  
    1.12    Old         New