--- a/src/HOL/Library/Library.thy Fri Jan 26 15:50:28 2001 +0100
+++ b/src/HOL/Library/Library.thy Fri Jan 26 15:50:52 2001 +0100
@@ -7,6 +7,6 @@
Nested_Environment +
Accessible_Part +
Multiset +
- While_Combinator + While_Combinator_Example:
+ While_Combinator:
end
(*>*)