equal
deleted
inserted
replaced
18 document_files |
18 document_files |
19 "root.bib" |
19 "root.bib" |
20 "root.tex" |
20 "root.tex" |
21 |
21 |
22 |
22 |
23 session Journal in "Journal" = Lex + |
23 session Journal in "Journal" = HOL + |
24 options [document = pdf, document_output = "..", document_variants="journal"] |
24 options [document = pdf, document_output = "..", document_variants="journal"] |
25 theories |
25 theories [document = false] |
26 "~~/src/HOL/Library/LaTeXsugar" |
26 "~~/src/HOL/Library/LaTeXsugar" |
|
27 "~~/src/HOL/Library/Sublist" |
|
28 "../Spec" |
|
29 "../RegLangs" |
|
30 "../Lexer" |
|
31 "../Simplifying" |
|
32 "../Sulzmann" |
|
33 "../Positions" |
|
34 theories [document = true] |
27 "Paper" |
35 "Paper" |
28 "PaperExt" |
36 "PaperExt" |
29 document_files |
37 document_files |
30 "root.bib" |
38 "root.bib" |
31 "root.tex" |
39 "root.tex" |