ProgTutorial/Package/simple_inductive_package.ML
changeset 497 76c632c05949
parent 475 25371f74c768
child 514 7e25716c3744