365
|
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"
|