src/Tools/induct_tacs.ML
2011-10-12 ago modernized structure Induct_Tacs;
2011-04-16 ago modernized structure Proof_Context;
2010-11-26 ago make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
2010-05-17 ago prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
2010-03-07 ago modernized structure Object_Logic;
2009-11-25 ago normalized uncurry take/drop
2009-11-24 ago curried take/drop
2009-11-01 ago modernized structure Rule_Cases;
2009-10-02 ago eliminated dead code;
2009-03-15 ago simplified method setup;
2009-02-28 ago removed Ids;
2008-09-22 ago fixed headers
2008-08-15 ago Args.name_source(_position) for proper position information;
2008-08-09 ago unified Args.T with OuterLex.token, renamed some operations;
2008-06-23 ago induct_tac: allow omission of arguments;
2008-06-23 ago moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML;