diff -r 628fee3eb449 -r 75fc4087764e CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Aug 17 14:19:12 2010 +0200
+++ b/CONTRIBUTORS	Tue Aug 17 14:33:39 2010 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2010: Florian Haftmann, TUM
+  Reworking and extension of the Isabelle/HOL framework.
+
 
 Contributions to Isabelle2009-2
 --------------------------------------