src/HOL/ex/Induction_Scheme.thy
2009-02-10 paulson 2009-02-10 Strengthened the induction rule nat_induct2.
2008-06-19 krauss 2008-06-19 generalized induct_scheme method to prove conditional induction schemes.
2007-12-07 krauss 2007-12-07 experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy)