ProgTutorial/Package/simple_inductive_package.ML
changeset 268 509e2ca547db
parent 189 069d525f8f1d
child 294 ee9d53fbb56b