src/HOL/Library/Library.thy
changeset 10947 1702ff26bbe1
parent 10943 3a610d34eb9e
child 10984 8f49dcbec859
     1.1 --- a/src/HOL/Library/Library.thy	Sat Jan 20 00:34:46 2001 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sat Jan 20 00:35:10 2001 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (*<*)
     1.5  theory Library =
     1.6    Quotient +
     1.7 -  Ring_and_Field +
     1.8 +  Ring_and_Field + Ring_and_Field_Example +
     1.9    Rational_Numbers +
    1.10    List_Prefix +
    1.11    Nested_Environment +