--- 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.