--- a/CONTRIBUTORS Thu Jun 21 12:33:27 2012 +0200
+++ b/CONTRIBUTORS Thu Jun 21 13:51:44 2012 +0200
@@ -6,6 +6,8 @@
Contributions to this Isabelle version
--------------------------------------
+* June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
+ Simproc for rewriting set comprehensions into pointfree expressions
Contributions to Isabelle2012
-----------------------------
--- 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.