equal
deleted
inserted
replaced
260 "../ttbox.sty" |
260 "../ttbox.sty" |
261 "../proof.sty" |
261 "../proof.sty" |
262 "../manual.bib" |
262 "../manual.bib" |
263 "document/build" |
263 "document/build" |
264 "document/root.tex" |
264 "document/root.tex" |
265 "document/substitution.tex" |
|
266 "document/syntax.tex" |
265 "document/syntax.tex" |
267 "document/thm.tex" |
266 "document/thm.tex" |
268 |
267 |
269 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
268 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
270 options [document_variants = "sledgehammer"] |
269 options [document_variants = "sledgehammer"] |