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
less more (0) -30 -10 -2 tip