CookBook/Package/Ind_Code.thy
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