--- a/src/HOL/Library/Library.thy Wed Oct 25 18:32:02 2000 +0200
+++ b/src/HOL/Library/Library.thy Wed Oct 25 18:32:40 2000 +0200
@@ -1,9 +1,9 @@
(*<*)
theory Library =
+ List_Prefix +
+ Quotient +
Accessible_Part +
Multiset +
- Quotient +
While_Combinator + While_Combinator_Example:
-
end
(*>*)