# HG changeset patch
# User hoelzl
# Date 1353491338 -3600
# Node ID 74773e3dc85db044a9968dbd0db9895ace92aed2
# Parent  7eb626617bbef8599b9b2a0c48f017b050dc83e3
NEWS (changeset 13211e07d931): add Countable_Set

diff -r 7eb626617bbe -r 74773e3dc85d 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.