--- a/CONTRIBUTORS Mon Nov 26 12:13:37 2012 +0100
+++ b/CONTRIBUTORS Mon Nov 26 13:35:05 2012 +0100
@@ -9,6 +9,10 @@
* 2012: Makarius Wenzel, Université Paris-Sud / LRI
Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
+* Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
+ Jasmin Blanchette, TUM
+ Implemented Machine Learning for Sledgehammer (MaSh).
+
* Fall 2012: Steffen Smolka, TUM
Various improvements to Sledgehammer's Isar proof generator, including
a smart type annotation algorithm and proof shrinking.