CookBook/Package/Ind_Prelims.thy
Wed, 11 Mar 2009 01:43:28 +0000 Christian Urban partially adapted to new antiquotation infrastructure
Sun, 22 Feb 2009 03:44:03 +0000 Christian Urban started a section about simprocs
Fri, 20 Feb 2009 23:19:41 +0000 Christian Urban updated and added two tentative recipes
less more (0) tip