ProgTutorial/Package/Ind_Extensions.thy
changeset 555 2c34c69236ce
parent 551 be361e980acf
child 560 8d30446d89f0
equal deleted inserted replaced
554:638ed040e6f8 555:2c34c69236ce