CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Nov 26 11:45:12 2012 +0100
+++ b/CONTRIBUTORS	Mon Nov 26 11:46:19 2012 +0100
@@ -9,6 +9,10 @@
 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
 
+* Fall 2012: Steffen Smolka, TUM
+  Various improvements to Sledgehammer's Isar proof generator, including
+  a smart type annotation algorithm and proof shrinking.
+
 * November 2012: Fabian Immler, TUM
   "Symbols" dockable for Isabelle/jEdit.