1.1 --- a/CONTRIBUTORS	Thu Jun 03 16:39:50 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 03 16:56:44 2010 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to Isabelle2009-2
     1.5  --------------------------------------
     1.6  
     1.7 +* 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
     1.8 +  Makarius Wenzel, TUM / LRI
     1.9 +  Elimination of type classes from proof terms.
    1.10 +
    1.11  * April 2010: Florian Haftmann, TUM
    1.12    Reorganization of abstract algebra type classes.
    1.13