NEWS

--- a/NEWS	Wed Nov 21 10:48:22 2012 +0100
+++ b/NEWS	Wed Nov 21 10:48:58 2012 +0100
@@ -198,6 +198,8 @@
 * HOL/Cardinals: Theories of ordinals and cardinals
 (supersedes the AFP entry "Ordinals_and_Cardinals").
 
+* Library/Countable_Set.thy: Theory of countable sets.
+
 * Library/Debug.thy and Library/Parallel.thy: debugging and parallel
 execution for code generated towards Isabelle/ML.