equal
deleted
inserted
replaced
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. |