--- a/CONTRIBUTORS Wed Jun 11 13:39:38 2014 +0200
+++ b/CONTRIBUTORS Thu Jun 12 15:47:36 2014 +0200
@@ -6,10 +6,14 @@
Contributions to this Isabelle version
--------------------------------------
+
* Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
Waldmeister, etc.).
+* June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM
+ Various properties of Erlang and exponentially distributed random variables.
+
* May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
SML-based engines for MaSh.