CONTRIBUTORS
changeset 53728 2a25bcd8bf78
parent 53613 cdc780645a49
child 53767 7e3aafebcdd0
     1.1 --- a/CONTRIBUTORS	Thu Sep 19 01:09:25 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 19 01:15:26 2013 +0200
     1.3 @@ -18,6 +18,13 @@
     1.4    Various improvements to BNF-based (co)datatype package, including a
     1.5    "primrec_new" command and a compatibility layer.
     1.6  
     1.7 +* Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
     1.8 +  Jasmin Blanchette, TUM
     1.9 +  Various improvements to MaSh, including a server mode.
    1.10 +
    1.11 +* First half of 2013: Steffen Smolka, TUM
    1.12 +  Further improvements to Sledgehammer's Isar proof generator.
    1.13 +
    1.14  * Summer 2013: Christian Sternagel, JAIST
    1.15    Improved support for ad hoc overloading of constants, including
    1.16    documentation and examples.