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