NEWS

--- a/NEWS	Wed Feb 12 08:37:28 2014 +0100
+++ b/NEWS	Wed Feb 12 10:20:31 2014 +0100
@@ -122,6 +122,11 @@
     BNF/BNF.thy
     BNF/Equiv_Relations_More.thy
 
+* Old datatype package:
+  * Generated constants "xxx_case" and "xxx_rec" have been renamed "case_xxx"
+    and "rec_xxx".
+    INCOMPATIBILITY.
+
 * New theory:
     Cardinals/Ordinal_Arithmetic.thy