diff -r 39077839947e -r 13857f49d215 src/Doc/ROOT
--- 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"