NEWS
changeset 49510 ba50d204095e
parent 49481 818bf31759e7
child 49532 6f7cc8e42716
     1.1 --- a/NEWS	Fri Sep 21 16:34:40 2012 +0200
     1.2 +++ b/NEWS	Fri Sep 21 16:45:06 2012 +0200
     1.3 @@ -100,8 +100,9 @@
     1.4  
     1.5      INCOMPATIBILITY.
     1.6  
     1.7 -* HOL/Codatatype: New (co)datatype package with support for mixed,
     1.8 -nested recursion and interesting non-free datatypes.
     1.9 +* HOL/BNF: New (co)datatype package based on bounded natural
    1.10 +functors with support for mixed, nested recursion and interesting
    1.11 +non-free datatypes.
    1.12  
    1.13  * HOL/Cardinals: Theories of ordinals and cardinals
    1.14  (supersedes the AFP entry "Ordinals_and_Cardinals").