--- a/src/Doc/ROOT Mon Mar 28 12:11:54 2016 +0200
+++ b/src/Doc/ROOT Tue Mar 29 09:45:54 2016 +0200
@@ -43,6 +43,22 @@
"root.tex"
"style.sty"
+session Corec (doc) in "Corec" = HOL +
+ options [document_variants = "corec"]
+ theories [document = false] "../Datatypes/Setup"
+ theories Corec
+ document_files (in "..")
+ "prepare_document"
+ "pdfsetup.sty"
+ "iman.sty"
+ "extra.sty"
+ "isar.sty"
+ "manual.bib"
+ document_files
+ "build"
+ "root.tex"
+ "style.sty"
+
session Datatypes (doc) in "Datatypes" = HOL +
options [document_variants = "datatypes"]
theories [document = false] Setup