--- a/doc-src/ROOT Mon Aug 27 16:48:41 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 17:11:55 2012 +0200
@@ -23,9 +23,8 @@
document_dump = document, document_dump_mode = "tex"]
theories Functions
-session IsarImplementation (doc) in "IsarImplementation/Thy" = HOL +
- options [browser_info = false, document = false,
- document_dump = document, document_dump_mode = "tex"]
+session IsarImplementation (doc) in "IsarImplementation" = HOL +
+ options [document_variants = "implementation"]
theories
Eq
Integration
@@ -37,6 +36,17 @@
Proof
Syntax
Tactic
+ files
+ "../iman.sty"
+ "../extra.sty"
+ "../isar.sty"
+ "../proof.sty"
+ "../underscore.sty"
+ "../ttbox.sty"
+ "../manual.bib"
+ "document/build"
+ "document/root.tex"
+ "document/style.sty"
session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
options [browser_info = false, document = false,