diff -r f982e73e36de -r ece6952a8975 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Mar 16 17:17:36 2007 +0100
+++ b/CONTRIBUTORS	Fri Mar 16 21:32:05 2007 +0100
@@ -2,6 +2,11 @@
 Contributions to Isabelle
 -------------------------
 
+* 2006/2007: Florian Haftmann, TUM
+  Pure: generic code generator framework.
+  Pure: class package.
+  HOL: theory tuning, code generator setup.
+
 * November 2006: Lukas Bulwahn, TUM
   HOL/function: method "lexicographic_order".