CONTRIBUTORS
changeset 50573 765c22baa1c9
parent 50222 40e3c3be6bca
child 50648 3fa343c5bc0a
equal deleted inserted replaced
50572:b33912e68b84 50573:765c22baa1c9
    14   Implemented Machine Learning for Sledgehammer (MaSh).
    14   Implemented Machine Learning for Sledgehammer (MaSh).
    15 
    15 
    16 * Fall 2012: Steffen Smolka, TUM
    16 * Fall 2012: Steffen Smolka, TUM
    17   Various improvements to Sledgehammer's Isar proof generator, including
    17   Various improvements to Sledgehammer's Isar proof generator, including
    18   a smart type annotation algorithm and proof shrinking.
    18   a smart type annotation algorithm and proof shrinking.
       
    19 
       
    20 * December 2012: Alessandro Coglio, Kestrel
       
    21   Contributions to HOL's Lattice library
    19 
    22 
    20 * November 2012: Fabian Immler, TUM
    23 * November 2012: Fabian Immler, TUM
    21   "Symbols" dockable for Isabelle/jEdit.
    24   "Symbols" dockable for Isabelle/jEdit.
    22 
    25 
    23 * November 2012: Fabian Immler, TUM
    26 * November 2012: Fabian Immler, TUM