src/HOL/ex/Induction_Schema.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
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