CONTRIBUTORS
changeset 50219 f6b95f0bba78
parent 50184 5a16f42a9b44
child 50222 40e3c3be6bca
     1.1 --- a/CONTRIBUTORS	Mon Nov 26 11:45:12 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 26 11:46:19 2012 +0100
     1.3 @@ -9,6 +9,10 @@
     1.4  * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.5    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.6  
     1.7 +* Fall 2012: Steffen Smolka, TUM
     1.8 +  Various improvements to Sledgehammer's Isar proof generator, including
     1.9 +  a smart type annotation algorithm and proof shrinking.
    1.10 +
    1.11  * November 2012: Fabian Immler, TUM
    1.12    "Symbols" dockable for Isabelle/jEdit.
    1.13