src/Tools/induction.ML
2011-09-20 nipkow 2011-09-20 New proof method "induction" that gives induction hypotheses the name IH.