# HG changeset patch
# User wenzelm
# Date 1275482319 -7200
# Node ID 935c75359742ccfd4abba0c33a440241e6ef2b1e
# Parent  50d8feb93df59e762a4769e943da9f1257cf3c4a
more CONTRIBUTORS;

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