ProgTutorial/Tactical.thy
changeset 452 f03aad9923a0
parent 451 fc074e669f9f
child 456 89fccd3d5055
equal deleted inserted replaced
451:fc074e669f9f 452:f03aad9923a0