diff -r 1d88a7ee4e3e -r 2a25bcd8bf78 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Sep 19 01:09:25 2013 +0200
+++ b/CONTRIBUTORS	Thu Sep 19 01:15:26 2013 +0200
@@ -18,6 +18,13 @@
   Various improvements to BNF-based (co)datatype package, including a
   "primrec_new" command and a compatibility layer.
 
+* Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
+  Jasmin Blanchette, TUM
+  Various improvements to MaSh, including a server mode.
+
+* First half of 2013: Steffen Smolka, TUM
+  Further improvements to Sledgehammer's Isar proof generator.
+
 * Summer 2013: Christian Sternagel, JAIST
   Improved support for ad hoc overloading of constants, including
   documentation and examples.