diff -r b5758f5a469c -r a9b8344f5196 doc-src/ROOT
--- a/doc-src/ROOT	Mon Aug 27 21:37:34 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 21:46:00 2012 +0200
@@ -136,6 +136,21 @@
     "document/build"
     "document/root.tex"
 
+session "Logics-ZF" (doc) in "ZF" = ZF +
+  options [document_variants = "logics-ZF", print_mode = "brackets"]
+  theories
+    IFOL_examples
+    FOL_examples
+    ZF_examples
+    If
+  files
+    "../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
@@ -261,13 +276,3 @@
   options [browser_info = false, document = false, print_mode = "brackets"]
   theories ToyList
 
-session "ZF-examples" (doc) in "ZF" = ZF +
-  options [browser_info = false, document = false,
-    document_dump = document, document_dump_mode = "tex",
-    print_mode = "brackets"]
-  theories
-    IFOL_examples
-    FOL_examples
-    ZF_examples
-    If
-