--- a/src/HOL/Library/Library.thy Thu Dec 04 14:17:36 2008 +0100
+++ b/src/HOL/Library/Library.thy Wed Dec 10 10:23:47 2008 +0100
@@ -14,6 +14,7 @@
Coinductive_List
Commutative_Ring
Continuity
+ ContNotDenum
Countable
Dense_Linear_Order
Efficient_Nat