src/HOL/Library/Library.thy
changeset 14266 08b34c902618
parent 14127 40a4768c8e0b
child 14365 3d4df8c166ae
     1.1 --- a/src/HOL/Library/Library.thy	Fri Nov 21 11:15:40 2003 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Nov 24 15:33:07 2003 +0100
     1.3 @@ -1,7 +1,6 @@
     1.4  (*<*)
     1.5  theory Library =
     1.6    Quotient +
     1.7 -  Ring_and_Field + Ring_and_Field_Example +
     1.8    Nat_Infinity +
     1.9    Rational_Numbers +
    1.10    List_Prefix +