CONTRIBUTORS
changeset 53613 cdc780645a49
parent 53396 5e446969033c
child 53728 2a25bcd8bf78
equal deleted inserted replaced
53612:c9d6f6285e1d 53613:cdc780645a49
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
     8 
     8 
     9 * September 2013: Nik Sultana, University of Cambridge
     9 * September 2013: Nik Sultana, University of Cambridge
    10   Improvements to HOL/TPTP parser and import facilities.
    10   Improvements to HOL/TPTP parser and import facilities.
       
    11 
       
    12 * Summer 2013: Manuel Eberl, TUM
       
    13   Generation of elimination rules in the function package.
       
    14   New command "fun_cases".
    11 
    15 
    12 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    16 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    13   Jasmin Blanchette, TUM
    17   Jasmin Blanchette, TUM
    14   Various improvements to BNF-based (co)datatype package, including a
    18   Various improvements to BNF-based (co)datatype package, including a
    15   "primrec_new" command and a compatibility layer.
    19   "primrec_new" command and a compatibility layer.