ProgTutorial/FirstSteps.thy
Thu, 20 Aug 2009 14:19:39 +0200 Christian Urban simplified a bit the index generation
less more (0) -30 -10 -1 tip