| Thu, 19 Oct 2023 17:06:39 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 30 May 2020 11:48:35 +0000 |
haftmann |
specific atomization inert to later rule set modifications
|
file |
diff |
annotate
|
| Sat, 30 May 2020 11:48:28 +0000 |
haftmann |
more precise scope of atomize
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:57:13 +0000 |
haftmann |
better closeup and more consistent terminology
|
file |
diff |
annotate
|
| Mon, 20 Apr 2020 08:58:09 +0200 |
haftmann |
more robust judgment handling
|
file |
diff |
annotate
|
| Mon, 02 Mar 2020 14:58:37 +0000 |
haftmann |
infrastructure for extraction of equations x = t from premises beneath meta-all
|
file |
diff |
annotate
|
| Fri, 24 Jul 2015 22:16:39 +0200 |
wenzelm |
proper context;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2015 19:53:18 +0100 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| Tue, 10 Feb 2015 14:48:26 +0100 |
wenzelm |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
|
file |
diff |
annotate
|
| Thu, 30 Oct 2014 16:55:29 +0100 |
wenzelm |
eliminated aliases;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2014 14:32:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 18 Apr 2013 17:07:01 +0200 |
wenzelm |
simplifier uses proper Proof.context instead of historic type simpset;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2011 15:24:00 +0200 |
wenzelm |
simplified Data signature;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2011 15:05:04 +0200 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2011 14:53:11 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|