| Sat, 20 Jan 2024 13:52:36 +0100 | wenzelm | obsolete (see also fc88b943e1b2); | file | diff | annotate |
| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Sat, 22 May 2021 21:52:13 +0200 | wenzelm | clarified names; | file | diff | annotate |