ProgTutorial/Solutions.thy
2011-06-21 Christian Urban added an excercise originally by Jasmin Blanchette
less more (0) -10 -1 tip