ProgTutorial/Package/Ind_Code.thy
Thu, 20 Aug 2009 14:19:39 +0200 Christian Urban simplified a bit the index generation
Wed, 05 Aug 2009 09:24:18 +0200 Christian Urban added a comment for printing out information and tuned some examples accordingly
less more (0) -10 -2 tip