equal
deleted
inserted
replaced
15 |
15 |
16 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
16 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
17 Jasmin Blanchette, TUM |
17 Jasmin Blanchette, TUM |
18 Various improvements to BNF-based (co)datatype package, including a |
18 Various improvements to BNF-based (co)datatype package, including a |
19 "primrec_new" command and a compatibility layer. |
19 "primrec_new" command and a compatibility layer. |
|
20 |
|
21 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
|
22 Jasmin Blanchette, TUM |
|
23 Various improvements to MaSh, including a server mode. |
|
24 |
|
25 * First half of 2013: Steffen Smolka, TUM |
|
26 Further improvements to Sledgehammer's Isar proof generator. |
20 |
27 |
21 * Summer 2013: Christian Sternagel, JAIST |
28 * Summer 2013: Christian Sternagel, JAIST |
22 Improved support for ad hoc overloading of constants, including |
29 Improved support for ad hoc overloading of constants, including |
23 documentation and examples. |
30 documentation and examples. |
24 |
31 |