src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu May 31 16:52:47 2001 +0200
+++ b/src/HOL/Library/Library.thy	Thu May 31 16:52:54 2001 +0200
@@ -2,10 +2,12 @@
 theory Library =
   Quotient +
   Ring_and_Field + Ring_and_Field_Example +
+  Nat_Infinity +
   Rational_Numbers +
   List_Prefix +
   Nested_Environment +
   Accessible_Part +
+  Continuity +
   Multiset +
   Permutation +
   While_Combinator: