doc-src/IsarImplementation/Thy/Tactic.thy
changeset 37745 6315b6426200
parent 34930 f3bce1cc513c
child 39847 da8c3fc5e314