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