diff -r 50d8feb93df5 -r 935c75359742 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Jun 02 13:18:48 2010 +0200
+++ b/CONTRIBUTORS	Wed Jun 02 14:38:39 2010 +0200
@@ -17,6 +17,9 @@
 * March 2010: Sascha Boehme, TUM
   Efficient SHA1 library for Poly/ML.
 
+* February 2010: Cezary Kaliszyk and Christian Urban, TUM
+  Quotient type package for Isabelle/HOL.
+
 
 Contributions to Isabelle2009-1
 -------------------------------