NEWS
changeset 31643 b040f1679f77
parent 31626 fe35b72b9ef0
child 31720 d1ac3f3b2f54
child 31723 f5cafe803b55
     1.1 --- a/NEWS	Mon Jun 15 16:13:04 2009 +0200
     1.2 +++ b/NEWS	Mon Jun 15 16:13:19 2009 +0200
     1.3 @@ -40,6 +40,9 @@
     1.4  * Implementation of quickcheck using generic code generator; default generators
     1.5  are provided for all suitable HOL types, records and datatypes.
     1.6  
     1.7 +* Constants Set.Pow and Set.image now with authentic syntax; object-logic definitions
     1.8 +Set.Pow_def and Set.image_def.  INCOMPATIBILITY.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12