*** empty log message ***
authornipkow
Wed Feb 16 19:00:49 2005 +0100 (2005-02-16)
changeset 15534fad04f5f822f
parent 15533 accd51fdae3c
child 15535 a0cf3a19ee36
*** empty log message ***
NEWS
     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