ProgTutorial/Tactical.thy
changeset 428 c2dde8c7174f
parent 424 5e0a2b50707e
child 436 373f99b1221a