CookBook/Tactical.thy
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
2009-02-12 Christian Urban polished
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
2009-02-09 Christian Urban polished and more material in the tactic chapter
2009-02-09 Christian Urban added more to the Tactical section
2009-02-08 Christian Urban polished
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-02-05 Christian Urban polished
2009-02-04 Christian Urban added some preliminary notes about SUBPROOF
2009-01-30 Christian Urban added
less more (0) tip