ProgTutorial/Tactical.thy
changeset 492 fc00bb412a65
parent 489 1343540ed715
child 500 6cfde4ff13e3
child 503 3778bddfb824