ProgTutorial/Package/simple_inductive_package.ML
changeset 259 a0af7fe3f558
parent 189 069d525f8f1d
child 294 ee9d53fbb56b
equal deleted inserted replaced
258:03145998190b 259:a0af7fe3f558