ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 495 f3f24874e8be
parent 442 7e33ba6190de
child 514 7e25716c3744
equal deleted inserted replaced
494:743020b817af 495:f3f24874e8be