CookBook/Package/Ind_Interface.thy
Thu, 19 Feb 2009 14:44:53 +0000 Christian Urban polished
Wed, 18 Feb 2009 17:17:37 +0000 Christian Urban added to the first-steps section
Sun, 15 Feb 2009 18:58:21 +0000 Christian Urban some polishing; split up the file External Solver into two
less more (0) -10 -3 tip