CookBook/Tactical.thy
Sat, 21 Feb 2009 11:38:14 +0000 Christian Urban polished
Thu, 19 Feb 2009 14:44:53 +0000 Christian Urban polished
Sun, 15 Feb 2009 18:58:21 +0000 Christian Urban some polishing; split up the file External Solver into two
Sat, 14 Feb 2009 13:20:21 +0000 Christian Urban polished and added more material to the package chapter
less more (0) -10 -4 tip