Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
Wed, 29 Oct 2014 15:15:17 +0100 |
wenzelm |
modernized setup;
|
file |
diff |
annotate
|
Mon, 17 Feb 2014 17:49:29 +0100 |
wenzelm |
more informative error;
|
file |
diff |
annotate
|
Fri, 14 Feb 2014 07:53:46 +0100 |
blanchet |
more precise spec rules for selectors
|
file |
diff |
annotate
|
Wed, 12 Feb 2014 13:33:05 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 14 Dec 2013 17:28:05 +0100 |
wenzelm |
proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 16:35:51 +0200 |
wenzelm |
standardized aliases;
|
file |
diff |
annotate
|
Thu, 30 May 2013 12:35:40 +0200 |
wenzelm |
standardized aliases;
|
file |
diff |
annotate
|
Mon, 12 Nov 2012 23:24:40 +0100 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 21:16:15 +0100 |
wenzelm |
discontinued old-style Term.list_abs in favour of plain Term.abs;
|
file |
diff |
annotate
|
Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 15:10:00 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 17:08:56 +0100 |
wenzelm |
renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 13:45:43 +0100 |
wenzelm |
refer to regular structure Simplifier;
|
file |
diff |
annotate
|
Mon, 25 Oct 2010 21:17:15 +0200 |
bulwahn |
using mode_eq instead of op = for lookup in the predicate compiler
|
file |
diff |
annotate
|
Fri, 22 Oct 2010 18:38:59 +0200 |
bulwahn |
moving general functions from core_data to predicate_compile_aux
|
file |
diff |
annotate
|
Thu, 21 Oct 2010 19:13:10 +0200 |
bulwahn |
using a signature in core_data and moving some more functions to core_data
|
file |
diff |
annotate
|
Thu, 21 Oct 2010 19:13:09 +0200 |
bulwahn |
splitting large core file into core_data, mode_inference and predicate_compile_proof
|
file |
diff |
annotate
|