ProgTutorial/Tactical.thy
changeset 407 aee4abd02db1
parent 406 f399b6855546
child 408 ef048892d0f0
equal deleted inserted replaced
406:f399b6855546 407:aee4abd02db1