CookBook/Package/simple_inductive_package.ML
2009-03-13 Christian Urban updated to new read_specification
2009-03-11 Christian Urban partially adapted to new antiquotation infrastructure
2009-03-10 Christian Urban more work on simple_inductive
2009-03-08 Christian Urban removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive
2009-03-04 Christian Urban updated to chages in binding module
2009-02-22 Christian Urban started a section about simprocs
2009-02-18 Christian Urban added to the first-steps section
2009-02-16 Christian Urban polishing
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-14 Christian Urban more changes to the package chapter
2009-02-12 Christian Urban rearranged some functions
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