| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Thu, 09 Dec 2021 08:32:29 +0100 |
nipkow |
Rewrite: added links to docu, made more prominent
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 20:01:59 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 16:40:43 +0200 |
wenzelm |
use Isabelle symbols by default;
|
file |
diff |
annotate
|
| Mon, 13 Apr 2015 20:11:12 +0200 |
noschinl |
rewrite: with asm pattern, propagate also remaining assumptions to new subgoals
|
file |
diff |
annotate
|
| Mon, 13 Apr 2015 10:21:35 +0200 |
noschinl |
enable \<hole> syntax for rewrite
|
file |
diff |
annotate
|
| Wed, 08 Apr 2015 21:24:27 +0200 |
wenzelm |
more standard Isabelle/ML tool setup;
|
file |
diff |
annotate
|
| Wed, 18 Mar 2015 13:51:33 +0100 |
noschinl |
added proof method rewrite
|
file |
diff |
annotate
|