diff -r a1a78a271682 -r 5e446969033c CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Sep 03 21:46:42 2013 +0100
+++ b/CONTRIBUTORS	Wed Sep 04 10:46:57 2013 +0200
@@ -6,7 +6,11 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and Jasmin Blanchette, TUM
+* September 2013: Nik Sultana, University of Cambridge
+  Improvements to HOL/TPTP parser and import facilities.
+
+* Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
+  Jasmin Blanchette, TUM
   Various improvements to BNF-based (co)datatype package, including a
   "primrec_new" command and a compatibility layer.