ProgTutorial/Tactical.thy
changeset 354 544c149005cf
parent 351 f118240ab44a
child 358 9cf3bc448210