# HG changeset patch
# User haftmann
# Date 1329981442 -3600
# Node ID ef552075d0ef095f2b2943ed539d3a3c21dc3551
# Parent  9517cc2883ebdffcce1f870afc423243811c73d5
CONTRIBUTORS

diff -r 9517cc2883eb -r ef552075d0ef CONTRIBUTORS
--- 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
 -------------------------------