CookBook/Package/Ind_Interface.thy
2009-03-18 Christian Urban made the Ackermann function example safer and included suggestions from MW
2009-03-17 Christian Urban a simplification suggested by Stefan and some polishing
2009-03-15 Christian Urban adapted to latest Attrib.setup changes and more work on the simple induct chapter
2009-03-13 Christian Urban polishing
2009-03-13 Christian Urban updated to new read_specification
2009-02-22 Christian Urban started a section about simprocs
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-19 Christian Urban polished
2009-02-18 Christian Urban added to the first-steps section
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 added an option for linenumbers to the chunk-antiquotation
2009-02-14 Christian Urban more changes to the package chapter
2009-02-13 Christian Urban slightly updated
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 adaptation of the package chapter to fit the rest
2009-01-24 Christian Urban adapted to changes in binding.ML
2009-01-14 Christian Urban removed mytable from root-file
2009-01-03 Christian Urban doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
2008-12-15 berghofe Adapted to changes in binding module.
2008-11-29 Christian Urban removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
2008-10-27 Christian Urban tuned mostly antiquotation and text
2008-10-13 berghofe Tuned.
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip