23 Jasmin Blanchette, TUM |
23 Jasmin Blanchette, TUM |
24 Various improvements to BNF-based (co)datatype package, including |
24 Various improvements to BNF-based (co)datatype package, including |
25 "primrec_new" and "primcorec" commands and a compatibility layer. |
25 "primrec_new" and "primcorec" commands and a compatibility layer. |
26 |
26 |
27 * Spring and Summer 2013: Ondrej Kuncar, TUM |
27 * Spring and Summer 2013: Ondrej Kuncar, TUM |
28 Various improvements of Lifting and Transfer packages |
28 Various improvements of Lifting and Transfer packages. |
29 |
29 |
30 * Spring 2013: Brian Huffman, Galois Inc. |
30 * Spring 2013: Brian Huffman, Galois Inc. |
31 Improvements of the Transfer package |
31 Improvements of the Transfer package. |
32 |
32 |
33 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
33 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
34 Jasmin Blanchette, TUM |
34 Jasmin Blanchette, TUM |
35 Various improvements to MaSh, including a server mode. |
35 Various improvements to MaSh, including a server mode. |
36 |
36 |