CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Sep 12 10:49:37 2011 +0200
+++ b/CONTRIBUTORS	Mon Sep 12 11:05:32 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".
+
 
 Contributions to Isabelle2011
 -----------------------------