| Mon, 10 Jun 2024 14:09:55 +0200 | desharna | renamed theorems | file | diff | annotate |
| Tue, 13 Feb 2024 17:18:50 +0000 | paulson | A few lemmas brought in from AFP entries | file | diff | annotate |
| Fri, 22 Jul 2022 14:39:56 +0200 | Fabian Huch | tuned (some HOL lints, by Yecine Megdiche); | file | diff | annotate |