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
 -------------------------------