ProgTutorial/Package/simple_inductive_package.ML
changeset 432 087dc1726a99
parent 426 d94755882e36
child 475 25371f74c768