| Tue, 10 Feb 2009 09:51:23 +0000 | paulson | Strengthened the induction rule nat_induct2. | file | diff | annotate |
| Thu, 19 Jun 2008 11:46:14 +0200 | krauss | generalized induct_scheme method to prove conditional induction schemes. | file | diff | annotate |
| Fri, 07 Dec 2007 09:42:20 +0100 | krauss | experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy) | file | diff | annotate |