ProgTutorial/Package/Ind_Code.thy
2009-03-24 Christian Urban a bit more work on the simple-inductive package
2009-03-23 Christian Urban some polishing
less more (0) -2 tip