CONTRIBUTORS
changeset 57235 b0b9a10e4bf4
parent 57216 6cd8566e938e
child 57252 19b7ace1c5da
     1.1 --- a/CONTRIBUTORS	Wed Jun 11 13:39:38 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 12 15:47:36 2014 +0200
     1.3 @@ -6,10 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +
     1.8  * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
     1.9    Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
    1.10    Waldmeister, etc.).
    1.11  
    1.12 +* June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM
    1.13 +  Various properties of Erlang and exponentially distributed random variables.
    1.14 +
    1.15  * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
    1.16    SML-based engines for MaSh.
    1.17