--- a/src/Doc/ROOT Sun Apr 23 23:10:33 2017 +0200
+++ b/src/Doc/ROOT Sun Apr 23 23:49:14 2017 +0200
@@ -16,7 +16,7 @@
"root.tex"
"style.sty"
-session Codegen_Basics in "Codegen" = "HOL" +
+session Codegen_Basics in "Codegen" = "HOL-Library" +
options [document = false]
theories
Setup
@@ -44,7 +44,7 @@
"root.tex"
"style.sty"
-session Corec (doc) in "Corec" = HOL +
+session Corec (doc) in "Corec" = "HOL-Library" +
options [document_variants = "corec"]
theories [document = false] "../Datatypes/Setup"
theories Corec
@@ -60,7 +60,7 @@
"root.tex"
"style.sty"
-session Datatypes (doc) in "Datatypes" = HOL +
+session Datatypes (doc) in "Datatypes" = "HOL-Library" +
options [document_variants = "datatypes"]
theories [document = false] Setup
theories Datatypes