NEWS (changeset 13211e07d931): add Countable_Set
authorhoelzl
Wed Nov 21 10:48:58 2012 +0100 (2012-11-21)
changeset 5014074773e3dc85d
parent 50139 7eb626617bbe
child 50141 15523888c11b
NEWS (changeset 13211e07d931): add Countable_Set
NEWS
     1.1 --- a/NEWS	Wed Nov 21 10:48:22 2012 +0100
     1.2 +++ b/NEWS	Wed Nov 21 10:48:58 2012 +0100
     1.3 @@ -198,6 +198,8 @@
     1.4  * HOL/Cardinals: Theories of ordinals and cardinals
     1.5  (supersedes the AFP entry "Ordinals_and_Cardinals").
     1.6  
     1.7 +* Library/Countable_Set.thy: Theory of countable sets.
     1.8 +
     1.9  * Library/Debug.thy and Library/Parallel.thy: debugging and parallel
    1.10  execution for code generated towards Isabelle/ML.
    1.11