equal
deleted
inserted
replaced
1 session "Lex" = HOL + |
1 session "Lex" = HOL + |
2 theories [document = false, quick_and_dirty] |
2 theories [document = false] |
3 "ReStar" |
3 "ReStar" |
|
4 "Sulzmann" |
|
5 |
4 |
6 |
5 session Paper in "Paper" = Lex + |
7 session Paper in "Paper" = Lex + |
6 options [document = pdf, document_output = "..", document_variants="paper"] |
8 options [document = pdf, document_output = "..", document_variants="paper"] |
7 theories |
9 theories |
8 "~~/src/HOL/Library/LaTeXsugar" |
10 "~~/src/HOL/Library/LaTeXsugar" |