ProgTutorial/Tactical.thy
changeset 345 4c54ef4dc84d
parent 339 c588e8422737
child 346 0fea8b7a14a1
equal deleted inserted replaced
344:83d5bca38bec 345:4c54ef4dc84d