| 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
|