src/HOL/Tools/Function/induction_schema.ML
Wed, 29 May 2013 18:25:11 +0200 wenzelm tuned signature -- more explicit flags for low-level Thm.bicompose;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Thu, 12 Apr 2012 18:39:19 +0200 wenzelm more standard method setup;
Tue, 14 Feb 2012 20:08:59 +0100 wenzelm comment;
Sat, 14 Jan 2012 19:06:05 +0100 wenzelm renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;
Wed, 27 Apr 2011 21:50:04 +0200 wenzelm clarified Variable.focus vs. Variable.focus_cterm -- eliminated clone;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Wed, 29 Dec 2010 21:52:44 +0100 krauss more robust decomposition of simultaneous goals
Fri, 17 Dec 2010 17:08:56 +0100 wenzelm renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
Fri, 17 Dec 2010 13:45:43 +0100 wenzelm refer to regular structure Simplifier;
Mon, 13 Dec 2010 10:15:27 +0100 krauss eliminated dest_all_all_ctx
Tue, 28 Sep 2010 12:34:41 +0200 krauss consolidated tupled_lambda; moved to structure HOLogic
Thu, 01 Jul 2010 16:54:42 +0200 haftmann qualified constants Set.member and Set.Collect
Sat, 15 May 2010 21:50:05 +0200 wenzelm less pervasive names from structure Thm;
Sun, 07 Mar 2010 12:19:47 +0100 wenzelm modernized structure Object_Logic;
Sat, 02 Jan 2010 23:18:58 +0100 krauss new year's resolution: reindented code in function package
Mon, 23 Nov 2009 15:05:59 +0100 krauss eliminated dead code and some unused bindings, reported by polyml
Sun, 15 Nov 2009 15:14:28 +0100 wenzelm tuned;
Fri, 06 Nov 2009 14:42:42 +0100 krauss renamed method induct_scheme to induction_schema
less more (0) tip