1.1 --- a/CONTRIBUTORS Sat Aug 09 11:43:58 2014 +0200
1.2 +++ b/CONTRIBUTORS Sat Aug 09 14:11:01 2014 +0200
1.3 @@ -15,13 +15,13 @@
1.4 semigroups and monoids, particularly products (resp. sums) on
1.5 finite sets.
1.6
1.7 -* June 2014: Florian Haftmann, TUM
1.8 - Internal reorganisation of the local theory / named target stack.
1.9 -
1.10 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
1.11 Work on exotic automatic theorem provers for Sledgehammer (LEO-II,
1.12 veriT, Waldmeister, etc.).
1.13
1.14 +* June 2014: Florian Haftmann, TUM
1.15 + Internal reorganisation of the local theory / named target stack.
1.16 +
1.17 * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM
1.18 Various properties of exponentially, Erlang, and normal distributed
1.19 random variables.