CookBook/FirstSteps.thy
2009-02-21 Christian Urban polished
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-19 Christian Urban polished
2009-02-18 Christian Urban added to the first-steps section
2009-02-17 Christian Urban some polishing in the first-steps chapter
2009-02-17 Christian Urban polished
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
2009-02-05 Christian Urban polished
2009-01-29 Christian Urban tuned
2009-01-29 Christian Urban polishing
2009-01-28 Christian Urban updated version
2009-01-28 Christian Urban polished
2009-01-27 Christian Urban better handling of {* and *}
2009-01-27 Christian Urban some polishing
2009-01-27 Christian Urban polished the combinator section
2009-01-26 Christian Urban polished
2009-01-26 Christian Urban added a section about combinators
less more (0) -50 -24 tip