# HG changeset patch
# User blanchet
# Date 1392196831 -3600
# Node ID 7a3e78ee813b3fb3df4e28a12f02b003bc99f5a4
# Parent  9ab4129a76a3ae7b565d93dc96323af4bacb1a15
[mq]: news

diff -r 9ab4129a76a3 -r 7a3e78ee813b 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