ProgTutorial/Package/Ind_Extensions.thy
changeset 505 2862dacb04aa
parent 464 21b5d0145fe4
child 517 d8c376662bb4