src/HOL/ex/Induction_Schema.thy
2009-11-06 krauss 2009-11-06 renamed method induct_scheme to induction_schema