NEWS

--- a/NEWS	Fri Sep 21 16:34:40 2012 +0200
+++ b/NEWS	Fri Sep 21 16:45:06 2012 +0200
@@ -100,8 +100,9 @@
 
     INCOMPATIBILITY.
 
-* HOL/Codatatype: New (co)datatype package with support for mixed,
-nested recursion and interesting non-free datatypes.
+* HOL/BNF: New (co)datatype package based on bounded natural
+functors with support for mixed, nested recursion and interesting
+non-free datatypes.
 
 * HOL/Cardinals: Theories of ordinals and cardinals
 (supersedes the AFP entry "Ordinals_and_Cardinals").