CONTRIBUTORS
authorhaftmann
Thu Feb 23 08:17:22 2012 +0100 (2012-02-23)
changeset 46596ef552075d0ef
parent 46595 9517cc2883eb
child 46597 7fc239ebece2
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Feb 22 19:59:06 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Feb 23 08:17:22 2012 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* January 2011: Florian Haftmann, TUM, et. al.
     1.8 +  (Re-)Introduction of the "set" type constructor.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2011-1
    1.12  -------------------------------