ProgTutorial/Package/Ind_General_Scheme.thy
2009-03-31 Christian Urban more work on the inductive package
2009-03-27 Christian Urban polishing
less more (0) -2 tip