ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 462 1d1e795bc3ad
parent 442 7e33ba6190de
child 514 7e25716c3744