# HG changeset patch
# User blanchet
# Date 1444149847 -7200
# Node ID 48600872b12c064042521c1d75e0bfd8bdb23b3a
# Parent  ebf296fe88d7f3d4d0858487674a09946ee97972
news

diff -r ebf296fe88d7 -r 48600872b12c NEWS
--- a/NEWS	Tue Oct 06 18:39:31 2015 +0200
+++ b/NEWS	Tue Oct 06 18:44:07 2015 +0200
@@ -274,8 +274,10 @@
   - Removed "check_potential" and "check_genuine" options.
   - Eliminated obsolete "blocking" option.
 
-* New commands lift_bnf and copy_bnf for lifting (copying) a BNF structure
-  on the raw type to an abstract type defined using typedef.
+* New (co)datatype package:
+  - New commands "lift_bnf" and "copy_bnf" for lifting (copying) a BNF
+    structure on the raw type to an abstract type defined using typedef.
+  - Always generate "case_transfer" theorem.
 
 * Division on integers is bootstrapped directly from division on
 naturals and uses generic numeral algorithm for computations.