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