CookBook/FirstSteps.thy
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
less more (0) -30 -10 -4 tip