1.1 --- a/CONTRIBUTORS Sun Apr 01 22:41:56 2012 +0200
1.2 +++ b/CONTRIBUTORS Sun Apr 01 22:55:06 2012 +0200
1.3 @@ -6,9 +6,13 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 -* January 2011: Florian Haftmann, TUM, et. al.
1.8 +* January 2012: Florian Haftmann, TUM, et. al.
1.9 (Re-)Introduction of the "set" type constructor.
1.10
1.11 +* March 2012: Cezary Kaliszyk, University of Innsbruck and
1.12 + Alexander Krauss, QAware GmbH
1.13 + Faster and more scalable Import mechanism for HOL Light proofs.
1.14 +
1.15
1.16 Contributions to Isabelle2011-1
1.17 -------------------------------