CONTRIBUTORS
changeset 50222 40e3c3be6bca
parent 50219 f6b95f0bba78
child 50573 765c22baa1c9
equal deleted inserted replaced
50221:355aaa57ac39 50222:40e3c3be6bca
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
     9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
    10   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    10   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
       
    11 
       
    12 * Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
       
    13   Jasmin Blanchette, TUM
       
    14   Implemented Machine Learning for Sledgehammer (MaSh).
    11 
    15 
    12 * Fall 2012: Steffen Smolka, TUM
    16 * Fall 2012: Steffen Smolka, TUM
    13   Various improvements to Sledgehammer's Isar proof generator, including
    17   Various improvements to Sledgehammer's Isar proof generator, including
    14   a smart type annotation algorithm and proof shrinking.
    18   a smart type annotation algorithm and proof shrinking.
    15 
    19