diff -r b751e6d7f4e9 -r 6260caf1d612 NEWS
--- a/NEWS	Mon Feb 17 13:31:42 2014 +0100
+++ b/NEWS	Mon Feb 17 13:31:42 2014 +0100
@@ -120,7 +120,9 @@
   Discontinued theories:
     BNF/BNF.thy
     BNF/Equiv_Relations_More.thy
-  Renamed command:
+  Renamed commands:
+    datatype_new_compat ~> datatype_compat
+    primrec_new ~> primrec
     wrap_free_constructors ~> free_constructors
   INCOMPATIBILITY.