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