| Thu, 12 Jun 2025 12:44:47 +0200 |
wenzelm |
discontinue old infixes;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2016 22:23:03 +0100 |
wenzelm |
eliminated old defs;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2015 17:16:21 +0100 |
wenzelm |
discontinued ASCII replacement syntax <->;
|
file |
diff |
annotate
|
| Sat, 18 Jul 2015 20:54:56 +0200 |
wenzelm |
prefer tactics with explicit context;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 18:51:19 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 15:55:44 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 14:53:15 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 11:44:22 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2015 17:46:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2015 21:54:25 +0100 |
wenzelm |
clarified case_tac fixes and context;
|
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
|
| Mon, 10 Nov 2014 21:49:48 +0100 |
wenzelm |
proper context for assume_tac (atac remains as fall-back without context);
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|