CONTRIBUTORS
changeset 57254 d3d91422f408
parent 57252 19b7ace1c5da
child 57419 2b8b1a8587da
     1.1 --- a/CONTRIBUTORS	Fri Jun 13 14:49:59 2014 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Jun 16 13:19:48 2014 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4    Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
     1.5    Waldmeister, etc.).
     1.6  
     1.7 -* June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM
     1.8 +* June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM
     1.9    Various properties of exponentially, Erlang, and normal distributed random variables.
    1.10  
    1.11  * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM