src/HOL/ROOT
changeset 51517 7957d26c3334
parent 51422 821a70e29e0b
child 51544 8c58fbbc1d5a
     1.1 --- a/src/HOL/ROOT	Mon Mar 25 19:53:44 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Mar 25 20:00:27 2013 +0100
     1.3 @@ -268,10 +268,6 @@
     1.4      Divisibility         (* Rings *)
     1.5      IntRing              (* Ideals and residue classes *)
     1.6      UnivPoly             (* Polynomials *)
     1.7 -  theories [document = false]
     1.8 -    (*** Old development, based on axiomatic type classes ***)
     1.9 -    "abstract/Abstract"  (*The ring theory*)
    1.10 -    "poly/Polynomial"    (*The full theory*)
    1.11    files "document/root.bib" "document/root.tex"
    1.12  
    1.13  session "HOL-Auth" in Auth = HOL +