--- a/src/HOL/Library/Library.thy Wed Dec 06 21:32:25 2000 +0100
+++ b/src/HOL/Library/Library.thy Wed Dec 06 21:52:49 2000 +0100
@@ -2,7 +2,7 @@
theory Library =
Quotient +
Ring_and_Field +
-(* Rational_Numbers + *)
+ Rational_Numbers +
List_Prefix +
Accessible_Part +
Multiset +