CookBook/Intro.thy
2008-10-01 Christian Urban various changes by Alex and Christian
2008-09-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-15 Christian Urban some tuning
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip