1 

     2 

     3 

     4 session Journal in Journal = "HOL" +

     5   options [ document_output = "..", document_variants="journal", document = pdf]

     6   sessions

     7     "HOL-Library"

     8   directories

     9      ".." 

    10   theories [document = false]

    11      "HOL-Library.LaTeXsugar"

    12      "HOL-Library.Sublist"

    13      "../Spec"

    14      "../Lexer"

    15      "../RegLangs"

    16      "../Simplifying"

    17      "../Sulzmann" 

    18      "../Positions"   

    19   theories [document = true] 

    20      "Paper"

    21   document_files

    22      "root.bib"

    23      "root.tex"

    24      "llncs.cls"