# HG changeset patch
# User blanchet
# Date 1392640302 -3600
# Node ID 6260caf1d6126452c2a1d39dd70addb1a58dca77
# Parent  b751e6d7f4e9503ca03238a369e63a44e3bd71c2
updated NEWS

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.