--- 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
-