1.1 --- a/CONTRIBUTORS	Wed Jun 02 13:18:48 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 02 14:38:39 2010 +0200
     1.3 @@ -17,6 +17,9 @@
     1.4  * March 2010: Sascha Boehme, TUM
     1.5    Efficient SHA1 library for Poly/ML.
     1.6  
     1.7 +* February 2010: Cezary Kaliszyk and Christian Urban, TUM
     1.8 +  Quotient type package for Isabelle/HOL.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2009-1
    1.12  -------------------------------