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