doc-src/IsarImplementation/Thy/Tactic.thy
changeset 44163 32e0c150c010
parent 40800 330eb65c9469
child 46258 89ee3bc580a8