src/HOL/Library/Library.thy
changeset 14365 3d4df8c166ae
parent 14266 08b34c902618
child 14494 48ae8d678d88
     1.1 --- a/src/HOL/Library/Library.thy	Tue Jan 27 09:44:14 2004 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Jan 27 15:39:51 2004 +0100
     1.3 @@ -2,7 +2,6 @@
     1.4  theory Library =
     1.5    Quotient +
     1.6    Nat_Infinity +
     1.7 -  Rational_Numbers +
     1.8    List_Prefix +
     1.9    Nested_Environment +
    1.10    Accessible_Part +