--- a/src/HOL/Library/Library.thy Fri Nov 21 11:15:40 2003 +0100
+++ b/src/HOL/Library/Library.thy Mon Nov 24 15:33:07 2003 +0100
@@ -1,7 +1,6 @@
(*<*)
theory Library =
Quotient +
- Ring_and_Field + Ring_and_Field_Example +
Nat_Infinity +
Rational_Numbers +
List_Prefix +