ProgTutorial/Essential.thy
2010-08-13 Christian Urban added an example to be used for conversions later on
2010-07-28 Christian Urban test
less more (0) -10 -2 tip