--- a/NEWS Thu Jun 21 12:33:27 2012 +0200 +++ b/NEWS Thu Jun 21 13:51:44 2012 +0200 @@ -19,6 +19,8 @@ *** HOL *** +* Simproc for rewriting set comprehensions into pointfree expressions + * Quickcheck: - added an optimisation for equality premises.