ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 528 e2c0138b5cea
parent 514 7e25716c3744
child 538 e9fd5eff62c1