--- a/CONTRIBUTORS Sun Apr 01 22:41:56 2012 +0200
+++ b/CONTRIBUTORS Sun Apr 01 22:55:06 2012 +0200
@@ -6,9 +6,13 @@
Contributions to this Isabelle version
--------------------------------------
-* January 2011: Florian Haftmann, TUM, et. al.
+* January 2012: Florian Haftmann, TUM, et. al.
(Re-)Introduction of the "set" type constructor.
+* March 2012: Cezary Kaliszyk, University of Innsbruck and
+ Alexander Krauss, QAware GmbH
+ Faster and more scalable Import mechanism for HOL Light proofs.
+
Contributions to Isabelle2011-1
-------------------------------