| Thu, 12 Jun 2025 12:44:47 +0200 |
wenzelm |
discontinue old infixes;
|
file |
diff |
annotate
|
| Fri, 18 Oct 2024 14:20:09 +0200 |
wenzelm |
more inner-syntax markup;
|
file |
diff |
annotate
|
| Thu, 10 Oct 2024 12:20:24 +0200 |
wenzelm |
clarified inner-syntax markup;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2024 20:39:16 +0200 |
wenzelm |
drop somewhat pointless 'syntax_consts' declarations;
|
file |
diff |
annotate
|
| Sun, 29 Sep 2024 21:57:47 +0200 |
wenzelm |
clarified markup: avoid conflict of "notation" with "entity", e.g. in "[x,y,z]" without spaces;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 23:37:00 +0200 |
wenzelm |
more inner syntax markup: minor object-logics;
|
file |
diff |
annotate
|
| 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
|
| Sun, 25 Aug 2024 15:07:22 +0200 |
wenzelm |
tuned, following be8c0e039a5e;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2024 23:14:39 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 19:17:50 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 18:12:55 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 18:02:04 +0200 |
wenzelm |
more standard binder syntax;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 17:46:18 +0200 |
wenzelm |
clarified 'let' syntax: avoid conflict with existing 'let' in FOL;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 17:09:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|