src/HOL/ex/Induction_Schema.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-11-06 krauss 2009-11-06 renamed method induct_scheme to induction_schema