equal
deleted
inserted
replaced
165 "../pdfsetup.sty" |
165 "../pdfsetup.sty" |
166 "../iman.sty" |
166 "../iman.sty" |
167 "../extra.sty" |
167 "../extra.sty" |
168 "../ttbox.sty" |
168 "../ttbox.sty" |
169 "../manual.bib" |
169 "../manual.bib" |
170 "document/build" |
170 "document/CTT.tex" |
171 "document/root.tex" |
171 "document/HOL.tex" |
172 |
172 "document/LK.tex" |
173 session "Logics-HOL" (doc) in "HOL" = Pure + |
173 "document/Sequents.tex" |
174 options [document_variants = "logics-HOL"] |
174 "document/build" |
175 theories |
175 "document/preface.tex" |
176 files |
176 "document/root.tex" |
177 "../prepare_document" |
177 "document/syntax.tex" |
178 "../pdfsetup.sty" |
|
179 "../iman.sty" |
|
180 "../extra.sty" |
|
181 "../ttbox.sty" |
|
182 "../manual.bib" |
|
183 "../Logics/document/syntax.tex" |
|
184 "document/build" |
|
185 "document/root.tex" |
|
186 |
178 |
187 session "Logics-ZF" (doc) in "ZF" = ZF + |
179 session "Logics-ZF" (doc) in "ZF" = ZF + |
188 options [document_variants = "logics-ZF", print_mode = "brackets", |
180 options [document_variants = "logics-ZF", print_mode = "brackets", |
189 thy_output_source] |
181 thy_output_source] |
190 theories |
182 theories |