ProgTutorial/Tactical.thy
changeset 549 4d7543f48476
parent 544 501491d56798
child 551 be361e980acf