--- a/src/HOL/ROOT Tue Aug 28 17:16:00 2012 +0200
+++ b/src/HOL/ROOT Tue Aug 28 17:17:03 2012 +0200
@@ -603,8 +603,9 @@
session "HOL-Ordinals_and_Cardinals" in Ordinals_and_Cardinals =
"HOL-Ordinals_and_Cardinals-Base" +
- options [document = false]
+ options [document = pdf, document_output = "."]
theories Cardinal_Order_Relation
+ files "document/intro.tex" "document/root.tex" "document/root.bib"
session "HOL-Codatatype" in Codatatype = "HOL-Ordinals_and_Cardinals-Base" +
options [document = false]