NEWS

--- a/NEWS	Fri Aug 30 12:09:51 2013 +0200
+++ b/NEWS	Fri Aug 30 12:12:41 2013 +0200
@@ -158,7 +158,7 @@
 
 * HOL/BNF:
   - Various improvements to BNF-based (co)datatype package, including a
-    "primrec_new" command, a "datatype_compat" command, and
+    "primrec_new" command, a "datatype_new_compat" command, and
     documentation. See "datatypes.pdf" for details.
   - Renamed keywords:
     data ~> datatype_new