--- 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.