CookBook/FirstSteps.thy
2008-10-06 Christian Urban some slight polishing
less more (0) -1 tip