src/Tools/induct_tacs.ML
Wed, 29 Aug 2012 11:48:45 +0200 wenzelm renamed Position.str_of to Position.here;
Fri, 09 Mar 2012 20:04:19 +0100 wenzelm tuned signature;
Thu, 08 Mar 2012 17:47:51 +0100 wenzelm more precise warning/error positions;
Wed, 12 Oct 2011 22:48:23 +0200 wenzelm modernized structure Induct_Tacs;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Fri, 26 Nov 2010 22:29:41 +0100 wenzelm make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
Mon, 17 May 2010 23:54:15 +0200 wenzelm prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
Sun, 07 Mar 2010 12:19:47 +0100 wenzelm modernized structure Object_Logic;
Wed, 25 Nov 2009 09:13:46 +0100 haftmann normalized uncurry take/drop
Tue, 24 Nov 2009 17:28:25 +0100 haftmann curried take/drop
Sun, 01 Nov 2009 15:24:45 +0100 wenzelm modernized structure Rule_Cases;
Fri, 02 Oct 2009 23:15:36 +0200 wenzelm eliminated dead code;
Sun, 15 Mar 2009 20:25:58 +0100 wenzelm simplified method setup;
Sat, 28 Feb 2009 14:09:58 +0100 wenzelm removed Ids;
Mon, 22 Sep 2008 08:00:24 +0200 haftmann fixed headers
Fri, 15 Aug 2008 15:50:44 +0200 wenzelm Args.name_source(_position) for proper position information;
Sat, 09 Aug 2008 22:43:46 +0200 wenzelm unified Args.T with OuterLex.token, renamed some operations;
Mon, 23 Jun 2008 19:00:24 +0200 wenzelm induct_tac: allow omission of arguments;
Mon, 23 Jun 2008 15:51:38 +0200 wenzelm moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML;
less more (0) tip