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