more contributors;
authorwenzelm
Wed Sep 04 10:46:57 2013 +0200 (2013-09-04)
changeset 533965e446969033c
parent 53395 a1a78a271682
child 53397 b179cdfa9d82
more contributors;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Sep 03 21:46:42 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Sep 04 10:46:57 2013 +0200
     1.3 @@ -6,7 +6,11 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and Jasmin Blanchette, TUM
     1.8 +* September 2013: Nik Sultana, University of Cambridge
     1.9 +  Improvements to HOL/TPTP parser and import facilities.
    1.10 +
    1.11 +* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    1.12 +  Jasmin Blanchette, TUM
    1.13    Various improvements to BNF-based (co)datatype package, including a
    1.14    "primrec_new" command and a compatibility layer.
    1.15