ProgTutorial/Package/simple_inductive_package.ML
changeset 326 f76135c6c527
parent 294 ee9d53fbb56b
child 331 46100dc4a808