src/Tools/induction.ML
2014-04-10 wenzelm 2014-04-10 tuned;
2011-09-20 nipkow 2011-09-20 New proof method "induction" that gives induction hypotheses the name IH.