ProgTutorial/Package/simple_inductive_package.ML
2009-11-07 Christian Urban added type work and updated to Isabelle and poly 5.3
less more (0) -1 tip