95
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
|
218
|
3 |
|
362
|
4 |
session Journal in Journal = "HOL" +
|
363
|
5 |
options [ document_output = "..", document_variants="journal", document = pdf]
|
362
|
6 |
sessions
|
|
7 |
"HOL-Library"
|
|
8 |
directories
|
|
9 |
".."
|
330
|
10 |
theories [document = false]
|
362
|
11 |
"HOL-Library.LaTeXsugar"
|
|
12 |
"HOL-Library.Sublist"
|
330
|
13 |
"../Spec"
|
362
|
14 |
"../Lexer"
|
330
|
15 |
"../RegLangs"
|
|
16 |
"../Simplifying"
|
|
17 |
"../Sulzmann"
|
362
|
18 |
"../Positions"
|
330
|
19 |
theories [document = true]
|
362
|
20 |
"Paper"
|
218
|
21 |
document_files
|
362
|
22 |
"root.bib"
|
364
|
23 |
"root.tex"
|
|
24 |
"llncs.cls"
|