doc-src/IsarImplementation/Thy/tactic.thy
changeset 18711 cf020c54e2f5
parent 18537 2681f9e34390
child 20042 2308529f8e8d