CONTRIBUTORS
changeset 54051 cdba71c67860
parent 54035 6332f6fae391
child 54055 5bf55a713232
child 54363 b0336bb8e638
     1.1 --- a/CONTRIBUTORS	Thu Oct 03 12:34:32 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Oct 03 16:09:47 2013 +0200
     1.3 @@ -19,6 +19,10 @@
     1.4    Generation of elimination rules in the function package.
     1.5    New command "fun_cases".
     1.6  
     1.7 +* Summer 2013: Christian Sternagel, JAIST
     1.8 +  Improved support for ad hoc overloading of constants, including
     1.9 +  documentation and examples.
    1.10 +
    1.11  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    1.12    Jasmin Blanchette, TUM
    1.13    Various improvements to BNF-based (co)datatype package, including
    1.14 @@ -29,7 +33,7 @@
    1.15  
    1.16  * Spring 2013: Brian Huffman, Galois Inc.
    1.17    Improvements of the Transfer package.
    1.18 -  
    1.19 +
    1.20  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    1.21    Jasmin Blanchette, TUM
    1.22    Various improvements to MaSh, including a server mode.
    1.23 @@ -37,10 +41,6 @@
    1.24  * First half of 2013: Steffen Smolka, TUM
    1.25    Further improvements to Sledgehammer's Isar proof generator.
    1.26  
    1.27 -* Summer 2013: Christian Sternagel, JAIST
    1.28 -  Improved support for ad hoc overloading of constants, including
    1.29 -  documentation and examples.
    1.30 -
    1.31  * May 2013: Florian Haftmann, TUM
    1.32    Ephemeral interpretation in local theories.
    1.33