ProgTutorial/FirstSteps.thy
2009-04-07 Christian Urban added material about OuterKeyword.keyword and OuterParse.reserved
2009-04-07 Christian Urban permutation example uses now recent infrastructure
less more (0) -10 -2 tip