ProgTutorial/Tactical.thy
changeset 553 c53d74b34123
parent 552 82c482467d75
child 554 638ed040e6f8
equal deleted inserted replaced
552:82c482467d75 553:c53d74b34123