src/HOL/Tools/Function/induction_schema.ML
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2009-11-23 krauss 2009-11-23 eliminated dead code and some unused bindings, reported by polyml
2009-11-15 wenzelm 2009-11-15 tuned;
2009-11-06 krauss 2009-11-06 renamed method induct_scheme to induction_schema