CONTRIBUTORS
changeset 53613 cdc780645a49
parent 53396 5e446969033c
child 53728 2a25bcd8bf78
     1.1 --- a/CONTRIBUTORS	Tue Sep 10 20:11:01 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Sep 10 20:34:32 2013 +0200
     1.3 @@ -9,6 +9,10 @@
     1.4  * September 2013: Nik Sultana, University of Cambridge
     1.5    Improvements to HOL/TPTP parser and import facilities.
     1.6  
     1.7 +* Summer 2013: Manuel Eberl, TUM
     1.8 +  Generation of elimination rules in the function package.
     1.9 +  New command "fun_cases".
    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 a