Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more CONTRIBUTORS;
authorwenzelm
Wed, 02 Jun 2010 14:38:39 +0200
changeset 37282 935c75359742
parent 37281 50d8feb93df5
child 37283 9e7a4d4bba54
more CONTRIBUTORS;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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
 -------------------------------
isabelle