diff -r 95a53c01ed61 -r 1a4ea8c5399a CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Sep 12 12:33:37 2011 +0200
+++ b/CONTRIBUTORS	Mon Sep 12 13:35:35 2011 +0200
@@ -16,6 +16,11 @@
   Various building blocks for Isabelle/Scala layer and Isabelle/jEdit
   Prover IDE.
 
+* 2011: Jasmin Blanchette, TUM
+  Various improvements to Sledgehammer, notably: use of sound translations,
+  support for more provers (Waldmeister, LEO-II, Satallax). Further development
+  of Nitpick and "try".
+
 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology
   Theory HOL/Library/Cset_Monad allows do notation for computable
   sets (cset) via the generic monad ad-hoc overloading facility.