CookBook/Package/Ind_Code.thy
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-02-18 Christian Urban added to the first-steps section
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-12 Christian Urban recovered old version of simple_induct; split the main function into small functions
2009-01-29 Christian Urban added a section that will eventually describe the code
less more (0) tip