ProgTutorial/Tactical.thy
changeset 534 0760fdf56942
parent 517 d8c376662bb4
child 541 96d10631eec2