Sun, 15 Dec 2024 20:12:45 +0100 wenzelm clarified signature (see also 2157039256d3);
Sun, 15 Dec 2024 14:59:57 +0100 wenzelm more syntax bundles, e.g. to explore terms without notation;
Sat, 14 Dec 2024 23:48:45 +0100 wenzelm commands 'syntax_types' and 'syntax_consts' now work in a local theory context;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 tip