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"