--- a/src/Doc/ROOT Tue Oct 31 22:17:38 2017 +0100
+++ b/src/Doc/ROOT Wed Nov 01 12:28:20 2017 +0100
@@ -127,7 +127,6 @@
session Intro (doc) in "Intro" = Pure +
options [document_variants = "intro"]
- theories
document_files (in "..")
"prepare_document"
"pdfsetup.sty"
@@ -272,7 +271,6 @@
session Logics (doc) in "Logics" = Pure +
options [document_variants = "logics"]
- theories
document_files (in "..")
"prepare_document"
"pdfsetup.sty"
@@ -328,7 +326,6 @@
session Nitpick (doc) in "Nitpick" = Pure +
options [document_variants = "nitpick"]
- theories
document_files (in "..")
"prepare_document"
"pdfsetup.sty"
@@ -364,7 +361,6 @@
session Sledgehammer (doc) in "Sledgehammer" = Pure +
options [document_variants = "sledgehammer"]
- theories
document_files (in "..")
"prepare_document"
"pdfsetup.sty"