--- a/doc-src/ROOT Tue Aug 28 12:22:10 2012 +0200
+++ b/doc-src/ROOT Tue Aug 28 12:31:53 2012 +0200
@@ -82,7 +82,7 @@
"document/build"
"document/root.tex"
-session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
+session IsarRef (doc) in "IsarRef/Thy" = HOL +
options [browser_info = false, document = false,
document_dump = document, document_dump_mode = "tex",
quick_and_dirty, thy_output_source]
@@ -103,12 +103,6 @@
Symbols
ML_Tactic
-session "HOLCF-IsarRef" (doc) in "IsarRef/Thy" = HOLCF +
- options [browser_info = false, document = false,
- document_dump = document, document_dump_mode = "tex",
- quick_and_dirty, thy_output_source]
- theories HOLCF_Specific
-
session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
options [document_variants = "sugar"]
theories [document = ""]