| Fri, 28 Feb 2025 13:50:18 +0000 | paulson | Some new lemmas and some tidying | file | diff | annotate |
| Fri, 10 Jan 2025 15:11:56 +0000 | paulson | Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression | file | diff | annotate |
| Mon, 23 Sep 2024 21:09:23 +0200 | wenzelm | more inner syntax markup: HOL; | file | diff | annotate |