diff -r 355aaa57ac39 -r 40e3c3be6bca CONTRIBUTORS
--- 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.