ProgTutorial/FirstSteps.thy
2009-04-07 Christian Urban permutation example uses now recent infrastructure
2009-04-03 Christian Urban various additions
less more (0) -10 -2 tip