CONTRIBUTORS
changeset 57235 b0b9a10e4bf4
parent 57216 6cd8566e938e
child 57252 19b7ace1c5da
equal deleted inserted replaced
57234:596a499318ab 57235:b0b9a10e4bf4
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
       
     9 
     9 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    10 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
    10   Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
    11   Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
    11   Waldmeister, etc.).
    12   Waldmeister, etc.).
       
    13 
       
    14 * June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM
       
    15   Various properties of Erlang and exponentially distributed random variables.
    12 
    16 
    13 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
    17 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
    14   SML-based engines for MaSh.
    18   SML-based engines for MaSh.
    15 
    19 
    16 * March 2014: René Thiemann
    20 * March 2014: René Thiemann