CONTRIBUTORS
changeset 57216 6cd8566e938e
parent 57030 b592202a45cc
child 57235 b0b9a10e4bf4
     1.1 --- a/CONTRIBUTORS	Wed Jun 11 15:29:23 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 11 15:44:09 2014 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM
     1.8 +  Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT,
     1.9 +  Waldmeister, etc.).
    1.10 +
    1.11  * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
    1.12    SML-based engines for MaSh.
    1.13  
    1.14 @@ -15,8 +19,8 @@
    1.15  * February 2014: Florian Haftmann, TUM
    1.16    Permanent interpretation inside theory, locale and class targets with mixin definitions.
    1.17  
    1.18 -* Fall 2013 and Winter 2014: Lorenz Panny, Dmitriy Traytel, and
    1.19 -  Jasmin Blanchette, TUM
    1.20 +* Fall 2013 and Winter 2014: Martin Desharnais, Lorenz Panny, Dmitriy Traytel,
    1.21 +  and Jasmin Blanchette, TUM
    1.22    Various improvements to the BNF-based (co)datatype package, including
    1.23    a more polished "primcorec" command, optimizations, and integration in
    1.24    the "HOL" session.