CONTRIBUTORS
changeset 44900 1a4ea8c5399a
parent 44897 787983a08bfb
parent 44894 1c7991210f62
child 44901 ed5ddf9fcc77
     1.1 --- a/CONTRIBUTORS	Mon Sep 12 12:33:37 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Sep 12 13:35:35 2011 +0200
     1.3 @@ -16,6 +16,11 @@
     1.4    Various building blocks for Isabelle/Scala layer and Isabelle/jEdit
     1.5    Prover IDE.
     1.6  
     1.7 +* 2011: Jasmin Blanchette, TUM
     1.8 +  Various improvements to Sledgehammer, notably: use of sound translations,
     1.9 +  support for more provers (Waldmeister, LEO-II, Satallax). Further development
    1.10 +  of Nitpick and "try".
    1.11 +
    1.12  * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology
    1.13    Theory HOL/Library/Cset_Monad allows do notation for computable
    1.14    sets (cset) via the generic monad ad-hoc overloading facility.