# HG changeset patch # User wenzelm # Date 1407586261 -7200 # Node ID 4ee24ee8055bd8d1d40f74af12c89dee9e7fc93d # Parent 9c361f94b3232d79dd7b4bbee79f1b288fbfba0c tuned; diff -r 9c361f94b323 -r 4ee24ee8055b CONTRIBUTORS --- a/CONTRIBUTORS Sat Aug 09 11:43:58 2014 +0200 +++ b/CONTRIBUTORS Sat Aug 09 14:11:01 2014 +0200 @@ -15,13 +15,13 @@ semigroups and monoids, particularly products (resp. sums) on finite sets. -* June 2014: Florian Haftmann, TUM - Internal reorganisation of the local theory / named target stack. - * 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: Florian Haftmann, TUM + Internal reorganisation of the local theory / named target stack. + * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM Various properties of exponentially, Erlang, and normal distributed random variables.