Wed, 08 Jan 2025 15:00:35 +0100 desharna merged
Wed, 08 Jan 2025 14:51:32 +0100 desharna tuned Sledgehammer caching
Mon, 23 Dec 2024 19:38:16 +0100 Lukas Bartl Rename "suggest_of" to "instantiate"
Wed, 08 Jan 2025 05:38:13 +0100 nipkow merged
Wed, 08 Jan 2025 05:37:40 +0100 nipkow added lemmas
Tue, 07 Jan 2025 22:07:46 +0100 wenzelm discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
Tue, 07 Jan 2025 21:39:38 +0100 wenzelm more markup, notaly for LaTeX output: treat record fields as quasi-consts;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 tip