ProgTutorial/Essential.thy
2010-07-28 Christian Urban test
2010-07-20 Christian Urban partially moved from string_of_term to pretty_term
less more (0) -10 -2 tip