--- 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.