CONTRIBUTORS
changeset 47265 b8c98d476805
parent 46596 ef552075d0ef
child 47413 a380515ed7e4
     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  -------------------------------