ProgTutorial/Package/Ind_Code.thy
2009-08-20 Christian Urban simplified a bit the index generation
less more (0) -10 -1 tip