NEWS
changeset 49310 6e30078de4f0
parent 49243 ded41f584938
child 49365 8aebe857aaaa
     1.1 --- a/NEWS	Wed Sep 12 05:21:47 2012 +0200
     1.2 +++ b/NEWS	Wed Sep 12 05:29:21 2012 +0200
     1.3 @@ -100,8 +100,8 @@
     1.4  * HOL/Codatatype: New (co)datatype package with support for mixed,
     1.5  nested recursion and interesting non-free datatypes.
     1.6  
     1.7 -* HOL/Ordinals_and_Cardinals: Theories of ordinals and cardinals
     1.8 -(supersedes the AFP entry of the same name).
     1.9 +* HOL/Cardinals: Theories of ordinals and cardinals
    1.10 +(supersedes the AFP entry "Ordinals_and_Cardinals").
    1.11  
    1.12  * Library/Debug.thy and Library/Parallel.thy: debugging and parallel
    1.13  execution for code generated towards Isabelle/ML.