67 session Esop in "ESOP-Paper" = Nominal2 + |
67 session Esop in "ESOP-Paper" = Nominal2 + |
68 theories [document = false] |
68 theories [document = false] |
69 "~~/src/HOL/Library/LaTeXsugar" |
69 "~~/src/HOL/Library/LaTeXsugar" |
70 theories |
70 theories |
71 "Paper" |
71 "Paper" |
72 files "document/root.bib" "document/root.tex" |
72 files "document/root.bib" "document/root.tex" |
|
73 |
|
74 session Slides1 in "Slides" = Nominal2 + |
|
75 options [document = pdf, document_output= "..", document_variants = "slides1"] |
|
76 theories |
|
77 "Slides1" |
|
78 |
|
79 session Slides2 in "Slides" = Nominal2 + |
|
80 options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides2"] |
|
81 theories |
|
82 "Slides2" |
|
83 |
|
84 session Slides3 in "Slides" = Nominal2 + |
|
85 options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides3"] |
|
86 theories |
|
87 "Slides3" |
|
88 |
|
89 session Slides4 in "Slides" = Nominal2 + |
|
90 options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides4"] |
|
91 theories |
|
92 "Slides4" |
|
93 |
|
94 session Slides5 in "Slides" = Nominal2 + |
|
95 options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides5"] |
|
96 theories |
|
97 "Slides5" |
|
98 |
|
99 session Slides9 in "Slides" = Nominal2 + |
|
100 options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides9"] |
|
101 theories |
|
102 "Slides9" |
|
103 |
|
104 session SlidesB in "Slides" = Nominal2 + |
|
105 options [document = pdf, document_output= "..", document_variants = "slidesb"] |
|
106 theories |
|
107 "SlidesB" |