NEWS
changeset 48111 33414f2e82ab
parent 48094 c3d4f4d9e54c
child 48120 9fe0e71052a0
     1.1 --- a/NEWS	Thu Jun 21 12:33:27 2012 +0200
     1.2 +++ b/NEWS	Thu Jun 21 13:51:44 2012 +0200
     1.3 @@ -19,6 +19,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Simproc for rewriting set comprehensions into pointfree expressions
     1.8 +
     1.9  * Quickcheck:
    1.10  
    1.11    - added an optimisation for equality premises.