CONTRIBUTORS
changeset 50222 40e3c3be6bca
parent 50219 f6b95f0bba78
child 50573 765c22baa1c9
     1.1 --- a/CONTRIBUTORS	Mon Nov 26 12:13:37 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 26 13:35:05 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: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     1.8 +  Jasmin Blanchette, TUM
     1.9 +  Implemented Machine Learning for Sledgehammer (MaSh).
    1.10 +
    1.11  * Fall 2012: Steffen Smolka, TUM
    1.12    Various improvements to Sledgehammer's Isar proof generator, including
    1.13    a smart type annotation algorithm and proof shrinking.