diff -r ac15a85e9282 -r b5758f5a469c doc-src/ROOT
--- 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