ProgTutorial/Package/Ind_Extensions.thy
2009-04-02 Christian Urban section for further material about simple inductive
less more (0) tip