--- a/thys/ROOT	Tue Jul 23 21:21:49 2019 +0100
+++ b/thys/ROOT	Mon Jul 29 09:37:20 2019 +0100
@@ -20,10 +20,18 @@
     "root.tex" 
 
 
-session Journal in "Journal" = Lex +
+session Journal in "Journal" = HOL +
   options [document = pdf, document_output = "..", document_variants="journal"]
-  theories 
-    "~~/src/HOL/Library/LaTeXsugar"
+  theories [document = false]
+     "~~/src/HOL/Library/LaTeXsugar"
+     "~~/src/HOL/Library/Sublist"
+     "../Spec"
+     "../RegLangs"
+     "../Lexer"
+     "../Simplifying"
+     "../Sulzmann" 
+     "../Positions"
+  theories [document = true] 
     "Paper"
     "PaperExt"
   document_files