CONTRIBUTORS
changeset 46596 ef552075d0ef
parent 45109 20b3377b08d7
child 47265 b8c98d476805
     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  -------------------------------