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.