--- a/src/HOL/Library/Library.thy Fri Jan 19 23:28:50 2001 +0100
+++ b/src/HOL/Library/Library.thy Fri Jan 19 23:53:07 2001 +0100
@@ -4,6 +4,7 @@
Ring_and_Field +
Rational_Numbers +
List_Prefix +
+ Nested_Environment +
Accessible_Part +
Multiset +
While_Combinator + While_Combinator_Example: