diff -r 232aa2f19a75 -r ec5e4fe4cc70 thys2/ROOT
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/ROOT	Sun Oct 10 18:35:21 2021 +0100
@@ -0,0 +1,24 @@
+
+
+
+session Journal in Journal = "HOL" +
+  options [ document_output = "..", document_variants="journal", document = pdf]
+  sessions
+    "HOL-Library"
+  directories
+     ".." 
+  theories [document = false]
+     "HOL-Library.LaTeXsugar"
+     "HOL-Library.Sublist"
+     "../Spec"
+     "../Lexer"
+     "../RegLangs"
+     "../Simplifying"
+     "../Sulzmann" 
+     "../Positions"   
+  theories [document = true] 
+     "Paper"
+  document_files
+     "root.bib"
+     "root.tex"
+     "llncs.cls"