changeset 47467 | ef552075d0ef |
parent 45961 | 20b3377b08d7 |
child 48136 | 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 -------------------------------