17 |
17 |
18 * Summer 2013: Manuel Eberl, TUM |
18 * Summer 2013: Manuel Eberl, TUM |
19 Generation of elimination rules in the function package. |
19 Generation of elimination rules in the function package. |
20 New command "fun_cases". |
20 New command "fun_cases". |
21 |
21 |
|
22 * Summer 2013: Christian Sternagel, JAIST |
|
23 Improved support for ad hoc overloading of constants, including |
|
24 documentation and examples. |
|
25 |
22 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
26 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
23 Jasmin Blanchette, TUM |
27 Jasmin Blanchette, TUM |
24 Various improvements to BNF-based (co)datatype package, including |
28 Various improvements to BNF-based (co)datatype package, including |
25 "primrec_new" and "primcorec" commands and a compatibility layer. |
29 "primrec_new" and "primcorec" commands and a compatibility layer. |
26 |
30 |
27 * Spring and Summer 2013: Ondrej Kuncar, TUM |
31 * Spring and Summer 2013: Ondrej Kuncar, TUM |
28 Various improvements of Lifting and Transfer packages. |
32 Various improvements of Lifting and Transfer packages. |
29 |
33 |
30 * Spring 2013: Brian Huffman, Galois Inc. |
34 * Spring 2013: Brian Huffman, Galois Inc. |
31 Improvements of the Transfer package. |
35 Improvements of the Transfer package. |
32 |
36 |
33 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
37 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
34 Jasmin Blanchette, TUM |
38 Jasmin Blanchette, TUM |
35 Various improvements to MaSh, including a server mode. |
39 Various improvements to MaSh, including a server mode. |
36 |
40 |
37 * First half of 2013: Steffen Smolka, TUM |
41 * First half of 2013: Steffen Smolka, TUM |
38 Further improvements to Sledgehammer's Isar proof generator. |
42 Further improvements to Sledgehammer's Isar proof generator. |
39 |
|
40 * Summer 2013: Christian Sternagel, JAIST |
|
41 Improved support for ad hoc overloading of constants, including |
|
42 documentation and examples. |
|
43 |
43 |
44 * May 2013: Florian Haftmann, TUM |
44 * May 2013: Florian Haftmann, TUM |
45 Ephemeral interpretation in local theories. |
45 Ephemeral interpretation in local theories. |
46 |
46 |
47 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM |
47 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM |