# HG changeset patch
# User blanchet
# Date 1392938320 -3600
# Node ID 18fe288f6801ff779fca6ad4b95f1be02a41d1bf
# Parent  63beb38e9258bbd3649d811e6b59de11c56770d5
NEWS

diff -r 63beb38e9258 -r 18fe288f6801 NEWS
--- a/NEWS	Fri Feb 21 00:09:56 2014 +0100
+++ b/NEWS	Fri Feb 21 00:18:40 2014 +0100
@@ -128,9 +128,14 @@
     wrap_free_constructors ~> free_constructors
   INCOMPATIBILITY.
 
+* Old datatype package:
+  * The generated theorems "xxx.cases" and "xxx.recs" have been renamed
+    "xxx.case" and "xxx.rec" (e.g., "sum.cases" -> "sum.case").
+    INCOMPATIBILITY.
+
 * Old and new (co)datatype packages:
-  * Generated constants "xxx_case" and "xxx_rec" have been renamed "case_xxx"
-    and "rec_xxx" (e.g., "prod_case" ~> "case_prod").
+  * The generated constants "xxx_case" and "xxx_rec" have been renamed
+    "case_xxx" and "rec_xxx" (e.g., "prod_case" ~> "case_prod").
     INCOMPATIBILITY.
 
 * The types "'a list" and "'a option", their set and map functions, their