src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Sep 18 11:42:22 2012 +0200
+++ b/src/HOL/ROOT	Tue Sep 18 13:38:10 2012 +0200
@@ -604,7 +604,7 @@
 
 session "HOL-Cardinals" in Cardinals = "HOL-Cardinals-Base" +
   description {* Ordinals and Cardinals, Full Theories *}
-  theories Cardinal_Order_Relation
+  theories Cardinals
   files
     "document/intro.tex"
     "document/root.tex"