--- 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.