ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 443 07be4fccd329
parent 442 7e33ba6190de
child 514 7e25716c3744
equal deleted inserted replaced
442:7e33ba6190de 443:07be4fccd329