doc-src/IsarImplementation/Thy/document/Tactic.tex
changeset 40419 718b44dbd74d
parent 39885 6a3f7941c3a0
child 40406 313a24b66a8d
equal deleted inserted replaced
40418:8b73059e97a1 40419:718b44dbd74d