# HG changeset patch
# User bulwahn
# Date 1340279504 -7200
# Node ID 33414f2e82abb48178c9a32dd1f9f8929a9308a8
# Parent  10d628621c4380a6b7e2c33d62b30b3d0ea5add2
NEWS and CONTRIBUTORS

diff -r 10d628621c43 -r 33414f2e82ab CONTRIBUTORS
--- 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
 -----------------------------
diff -r 10d628621c43 -r 33414f2e82ab NEWS
--- 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.