ProgTutorial/Package/simple_inductive_package.ML
changeset 313 1ca2f41770cc
parent 294 ee9d53fbb56b
child 331 46100dc4a808