1.1 --- a/CONTRIBUTORS	Tue Aug 17 14:19:12 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Aug 17 14:33:39 2010 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* July 2010: Florian Haftmann, TUM
     1.8 +  Reworking and extension of the Isabelle/HOL framework.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2009-2
    1.12  --------------------------------------