src/Tools/induct_tacs.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-11-25 haftmann 2009-11-25 normalized uncurry take/drop
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-11-01 wenzelm 2009-11-01 modernized structure Rule_Cases;
2009-10-02 wenzelm 2009-10-02 eliminated dead code; tuned;
2009-03-15 wenzelm 2009-03-15 simplified method setup;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2008-09-22 haftmann 2008-09-22 fixed headers
2008-08-15 wenzelm 2008-08-15 Args.name_source(_position) for proper position information;
2008-08-09 wenzelm 2008-08-09 unified Args.T with OuterLex.token, renamed some operations;
2008-06-23 wenzelm 2008-06-23 induct_tac: allow omission of arguments;
2008-06-23 wenzelm 2008-06-23 moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML;