ProgTutorial/FirstSteps.thy
2009-08-05 Christian Urban polished comment for error function
less more (0) -30 -10 -1 tip