# HG changeset patch
# User wenzelm
# Date 1378284417 -7200
# Node ID 5e446969033c7120ba525fb3123e5c3790448d1c
# Parent  a1a78a2716822cd62edad2adef818f3f286e276a
more contributors;

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.