Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | file | diff | annotate |
Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
Sun, 30 Dec 2018 10:30:41 +0100 | Andreas Lochbihler | separate case converter into a separate theory | file | diff | annotate |