CookBook/FirstSteps.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-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-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-06 Christian Urban tuned
less more (0) -30 -10 -8 tip