CookBook/Package/Ind_Intro.thy
Fri, 27 Feb 2009 15:59:38 +0000 Christian Urban added material to the endless story of the simplifier
Fri, 20 Feb 2009 23:19:41 +0000 Christian Urban updated and added two tentative recipes
Mon, 16 Feb 2009 17:17:24 +0000 Christian Urban polishing
Sun, 15 Feb 2009 18:58:21 +0000 Christian Urban some polishing; split up the file External Solver into two
Sat, 14 Feb 2009 00:11:50 +0000 Christian Urban more changes to the package chapter
Fri, 13 Feb 2009 14:15:28 +0000 Christian Urban some update of the package introduction
Fri, 13 Feb 2009 01:05:31 +0000 Christian Urban slightly updated
less more (0) -7 tip