CONTRIBUTORS
changeset 54051 cdba71c67860
parent 54035 6332f6fae391
child 54055 5bf55a713232
child 54363 b0336bb8e638
--- a/CONTRIBUTORS	Thu Oct 03 12:34:32 2013 +0200
+++ b/CONTRIBUTORS	Thu Oct 03 16:09:47 2013 +0200
@@ -19,6 +19,10 @@
   Generation of elimination rules in the function package.
   New command "fun_cases".
 
+* Summer 2013: Christian Sternagel, JAIST
+  Improved support for ad hoc overloading of constants, including
+  documentation and examples.
+
 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
   Jasmin Blanchette, TUM
   Various improvements to BNF-based (co)datatype package, including
@@ -29,7 +33,7 @@
 
 * Spring 2013: Brian Huffman, Galois Inc.
   Improvements of the Transfer package.
-  
+
 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM
   Various improvements to MaSh, including a server mode.
@@ -37,10 +41,6 @@
 * First half of 2013: Steffen Smolka, TUM
   Further improvements to Sledgehammer's Isar proof generator.
 
-* Summer 2013: Christian Sternagel, JAIST
-  Improved support for ad hoc overloading of constants, including
-  documentation and examples.
-
 * May 2013: Florian Haftmann, TUM
   Ephemeral interpretation in local theories.