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