equal
deleted
inserted
replaced
263 "document/build" |
263 "document/build" |
264 "document/root.tex" |
264 "document/root.tex" |
265 "document/simplifier.tex" |
265 "document/simplifier.tex" |
266 "document/substitution.tex" |
266 "document/substitution.tex" |
267 "document/syntax.tex" |
267 "document/syntax.tex" |
268 "document/tactic.tex" |
|
269 "document/thm.tex" |
268 "document/thm.tex" |
270 |
269 |
271 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
270 session Sledgehammer (doc) in "Sledgehammer" = Pure + |
272 options [document_variants = "sledgehammer"] |
271 options [document_variants = "sledgehammer"] |
273 theories |
272 theories |