CookBook/Package/simple_inductive_package.ML
2009-02-12 Christian Urban recovered old version of simple_induct; split the main function into small functions
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-01-29 Christian Urban added a section that will eventually describe the code
2009-01-24 Christian Urban adapted to changes in binding.ML
2008-12-15 berghofe Adapted to changes in binding module.
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip