CookBook/Package/Ind_Prelims.thy
2009-02-22 Christian Urban started a section about simprocs
2009-02-20 Christian Urban updated and added two tentative recipes
less more (0) tip