diff -r 8f37cf60b885 -r de0d280c31a7 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jul 12 14:48:01 2009 +0200
+++ b/CONTRIBUTORS	Tue Jul 14 10:53:44 2009 +0200
@@ -7,6 +7,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2009: Florian Haftmann, TUM
+  New quickcheck implementation using new code generator
+
+* July 2009: Florian Haftmann, TUM
+  HOL/Library/FSet: an explicit type of sets; finite sets ready to use for code generation
+
 * June 2009: Andreas Lochbihler, Uni Karlsruhe
   HOL/Library/Fin_Fun: almost everywhere constant functions