ProgTutorial/Tactical.thy
changeset 319 6bce4acf7f2a
parent 318 efb5fff99c96
child 329 5dffcab68680