ProgTutorial/Package/Ind_Code.thy
2009-10-11 Christian Urban fixed glitch with tocibind
less more (0) -10 -1 tip