ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 518 7ff1a681f758
parent 514 7e25716c3744
child 538 e9fd5eff62c1