CONTRIBUTORS
changeset 47413 a380515ed7e4
parent 47265 b8c98d476805
child 47448 cd3d987e8e79
     1.1 --- a/CONTRIBUTORS	Tue Apr 10 06:45:15 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Apr 10 11:42:15 2012 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2012: Nik Sultana, University of Cambridge
     1.8 +  HOL/TPTP parser and import facilities.
     1.9 +
    1.10  * January 2012: Florian Haftmann, TUM, et. al.
    1.11    (Re-)Introduction of the "set" type constructor.
    1.12