diff -r fa7c0c659798 -r 87c831e30f0a CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Jun 25 14:21:32 2012 +0200
+++ b/CONTRIBUTORS	Mon Jun 25 15:14:07 2012 +0200
@@ -9,6 +9,7 @@
 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
   Simproc for rewriting set comprehensions into pointfree expressions
 
+
 Contributions to Isabelle2012
 -----------------------------