--- 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
--- a/NEWS Tue Oct 01 14:13:24 2013 +0200
+++ b/NEWS Tue Oct 01 14:29:27 2013 +0200
@@ -154,7 +154,7 @@
* HOL/BNF:
- Various improvements to BNF-based (co)datatype package, including new
- commands "primrec_new", "primcorecursive", and "datatype_new_compat",
+ commands "primrec_new", "primcorec", and "datatype_new_compat",
as well as documentation. See "datatypes.pdf" for details.
- Renamed keywords:
data ~> datatype_new