src/HOL/Tools/Function/scnp_reconstruct.ML
Fri, 27 May 2016 20:23:55 +0200 wenzelm tuned proofs, to allow unfold_abs_def;
Mon, 27 Jul 2015 17:44:55 +0200 wenzelm tuned signature;
Sat, 18 Jul 2015 20:47:08 +0200 wenzelm prefer tactics with explicit context;
Fri, 06 Mar 2015 20:08:45 +0100 wenzelm proper context;
Fri, 06 Mar 2015 15:58:56 +0100 wenzelm Thm.cterm_of and Thm.ctyp_of operate on local context;
Fri, 06 Mar 2015 13:39:34 +0100 wenzelm clarified context;
Wed, 04 Mar 2015 20:47:29 +0100 wenzelm tuned;
Wed, 04 Mar 2015 19:53:18 +0100 wenzelm tuned signature -- prefer qualified names;
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Fri, 19 Dec 2014 23:01:46 +0100 wenzelm just one data slot per program unit;
Wed, 29 Oct 2014 14:14:36 +0100 wenzelm modernized setup;
Sat, 16 Aug 2014 19:20:11 +0200 wenzelm updated to named_theorems;
Fri, 21 Feb 2014 00:09:56 +0100 blanchet adapted to renaming of datatype 'cases' and 'recs' to 'case' and 'rec'
Sun, 12 Jan 2014 14:32:22 +0100 wenzelm tuned signature;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Fri, 13 May 2011 23:58:40 +0200 wenzelm clarified map_simpset versus Simplifier.map_simpset_global;
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Thu, 12 May 2011 22:46:21 +0200 wenzelm prefer plain simpset operations;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Mon, 10 Jan 2011 16:45:28 +0100 wenzelm added merge_options convenience;
Sun, 12 Dec 2010 21:41:01 +0100 krauss tuned headers
Wed, 03 Nov 2010 11:11:49 +0100 wenzelm replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment;
Tue, 05 Oct 2010 14:19:43 +0200 krauss removed complicated (and rarely helpful) error reporting
Tue, 05 Oct 2010 14:19:40 +0200 krauss discontinued continuations to simplify control flow; dropped optimization in scnp
less more (0) -24 tip