CookBook/FirstSteps.thy
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