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.
CONTRIBUTORS
authorhaftmann
Thu, 23 Feb 2012 08:17:22 +0100
changeset 46596 ef552075d0ef
parent 46595 9517cc2883eb
child 46597 7fc239ebece2
CONTRIBUTORS
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Wed Feb 22 19:59:06 2012 +0100
+++ b/CONTRIBUTORS	Thu Feb 23 08:17:22 2012 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2011: Florian Haftmann, TUM, et. al.
+  (Re-)Introduction of the "set" type constructor.
+
 
 Contributions to Isabelle2011-1
 -------------------------------
isabelle