--- a/src/Doc/ROOT Sun Jul 15 01:14:04 2018 +0100
+++ b/src/Doc/ROOT Sun Jul 15 14:46:57 2018 +0200
@@ -359,6 +359,20 @@
"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 "..")