diff -r f4fe75218cec -r 0260bdba4dd7 src/Doc/ROOT
--- a/src/Doc/ROOT	Sun Jul 07 18:50:16 2013 +0200
+++ b/src/Doc/ROOT	Sun Jul 07 20:23:09 2013 +0200
@@ -167,22 +167,14 @@
     "../extra.sty"
     "../ttbox.sty"
     "../manual.bib"
+    "document/CTT.tex"
+    "document/HOL.tex"
+    "document/LK.tex"
+    "document/Sequents.tex"
     "document/build"
+    "document/preface.tex"
     "document/root.tex"
-
-session "Logics-HOL" (doc) in "HOL" = Pure +
-  options [document_variants = "logics-HOL"]
-  theories
-  files
-    "../prepare_document"
-    "../pdfsetup.sty"
-    "../iman.sty"
-    "../extra.sty"
-    "../ttbox.sty"
-    "../manual.bib"
-    "../Logics/document/syntax.tex"
-    "document/build"
-    "document/root.tex"
+    "document/syntax.tex"
 
 session "Logics-ZF" (doc) in "ZF" = ZF +
   options [document_variants = "logics-ZF", print_mode = "brackets",