equal
deleted
inserted
replaced
259 "../extra.sty" |
259 "../extra.sty" |
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/classical.tex" |
|
265 "document/root.tex" |
264 "document/root.tex" |
266 "document/simplifier.tex" |
265 "document/simplifier.tex" |
267 "document/substitution.tex" |
266 "document/substitution.tex" |
268 "document/syntax.tex" |
267 "document/syntax.tex" |
269 "document/tactic.tex" |
268 "document/tactic.tex" |