doc-src/IsarImplementation/Thy/tactic.thy
changeset 20183 fd546b0c8a7c
parent 20065 636f84cd3639
child 20316 99b6e2900c0f