src/HOL/Tools/Function/induction_schema.ML
2010-12-17 wenzelm 2010-12-17 refer to regular structure Simplifier;
2010-12-13 krauss 2010-12-13 eliminated dest_all_all_ctx
2010-09-28 krauss 2010-09-28 consolidated tupled_lambda; moved to structure HOLogic
2010-07-01 haftmann 2010-07-01 qualified constants Set.member and Set.Collect
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