Sun, 15 Dec 2024 20:12:45 +0100 | wenzelm | clarified signature (see also 2157039256d3); | changeset | files |
Sun, 15 Dec 2024 14:59:57 +0100 | wenzelm | more syntax bundles, e.g. to explore terms without notation; | changeset | files |
Sat, 14 Dec 2024 23:48:45 +0100 | wenzelm | commands 'syntax_types' and 'syntax_consts' now work in a local theory context; | changeset | files |