ProgTutorial/Package/simple_inductive_package.ML
changeset 411 24fc00319c4a
parent 401 36d61044f9bf
child 418 1d1e4cda8c54
equal deleted inserted replaced
410:2656354c7544 411:24fc00319c4a