--- a/src/Doc/ROOT Sun Jul 22 14:15:04 2018 +0200
+++ b/src/Doc/ROOT Sun Jul 22 19:29:51 2018 +0200
@@ -359,20 +359,6 @@
"root.tex"
"svmono.cls"
-session Real_Asymp (doc) in "Real_Asymp" = "HOL-Real_Asymp" +
- theories
- Real_Asymp_Doc
- document_files (in "..")
- "prepare_document"
- "pdfsetup.sty"
- "iman.sty"
- "extra.sty"
- "isar.sty"
- "manual.bib"
- document_files
- "root.tex"
- "style.sty"
-
session Sledgehammer (doc) in "Sledgehammer" = Pure +
options [document_variants = "sledgehammer"]
document_files (in "..")