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
 -----------------------------