doc-src/IsarImplementation/Thy/document/Tactic.tex
changeset 47175 6b906beec36f
parent 46278 408e3acfdbb9