CONTRIBUTORS
changeset 53767 7e3aafebcdd0
parent 53728 2a25bcd8bf78
child 53978 65c893e0849f
--- a/CONTRIBUTORS	Fri Sep 20 22:39:30 2013 +0200
+++ b/CONTRIBUTORS	Fri Sep 20 22:39:30 2013 +0200
@@ -15,8 +15,8 @@
 
 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
   Jasmin Blanchette, TUM
-  Various improvements to BNF-based (co)datatype package, including a
-  "primrec_new" command and a compatibility layer.
+  Various improvements to BNF-based (co)datatype package, including
+  "primrec_new" and "primcorecursive" commands and a compatibility layer.
 
 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM