# HG changeset patch
# User blanchet
# Date 1380630567 -7200
# Node ID 5ac1495fed4e6d9c32f53de4e6656c29079de37d
# Parent  f138452e8265704b771a7dbe459ddab11d2ab110
minor textual changes

diff -r f138452e8265 -r 5ac1495fed4e CONTRIBUTORS
--- 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
diff -r f138452e8265 -r 5ac1495fed4e NEWS
--- 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