--- a/doc-src/ROOT Mon Aug 27 21:30:18 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 21:37:34 2012 +0200
@@ -123,6 +123,19 @@
"document/build"
"document/root.tex"
+session "Logics-HOL" (doc) in "HOL" = Pure +
+ options [document_variants = "logics-HOL"]
+ theories
+ files
+ "../iman.sty"
+ "../extra.sty"
+ "../ttbox.sty"
+ "../proof.sty"
+ "../manual.bib"
+ "../Logics/document/syntax.tex"
+ "document/build"
+ "document/root.tex"
+
session Main (doc) in "Main" = HOL +
options [document_variants = "main"]
theories Main_Doc