changeset 54010 | 5ac1495fed4e |
parent 53984 | b9139b14c1c5 |
child 54021 | 8089e82833b6 |
--- a/CONTRIBUTORS Tue Oct 01 14:13:24 2013 +0200 +++ b/CONTRIBUTORS Tue Oct 01 14:29:27 2013 +0200 @@ -19,8 +19,7 @@ * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and Jasmin Blanchette, TUM Various improvements to BNF-based (co)datatype package, including - "primrec_new" and "primcorecursive" commands and a compatibility - layer. + "primrec_new" and "primcorec" commands and a compatibility layer. * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen Jasmin Blanchette, TUM