| Fri, 22 Jul 2022 14:39:56 +0200 | Fabian Huch | tuned (some HOL lints, by Yecine Megdiche); | file | diff | annotate |
| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Thu, 14 Mar 2019 16:55:06 +0100 | wenzelm | more specific keyword kinds; | file | diff | annotate |