src/HOL/ROOT
changeset 49439 80b1963215c8
parent 49404 a93d920707bb
child 49448 8a232a4e3fd8
     1.1 --- a/src/HOL/ROOT	Tue Sep 18 11:42:22 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Sep 18 13:38:10 2012 +0200
     1.3 @@ -604,7 +604,7 @@
     1.4  
     1.5  session "HOL-Cardinals" in Cardinals = "HOL-Cardinals-Base" +
     1.6    description {* Ordinals and Cardinals, Full Theories *}
     1.7 -  theories Cardinal_Order_Relation
     1.8 +  theories Cardinals
     1.9    files
    1.10      "document/intro.tex"
    1.11      "document/root.tex"