| Tue, 24 Sep 2024 17:27:56 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 23 Sep 2024 22:33:37 +0200 | wenzelm | proper 'no_syntax' (amending 8e72f55295fd); | changeset | files |
| Mon, 23 Sep 2024 21:09:23 +0200 | wenzelm | more inner syntax markup: HOL; | changeset | files |
| Mon, 23 Sep 2024 15:01:10 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 23 Sep 2024 13:32:38 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing; | changeset | files |
| Mon, 23 Sep 2024 12:59:10 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 23 Sep 2024 11:36:03 +0200 | wenzelm | minor performance tuning: more concise tuples; | changeset | files |