| Sat, 05 Jul 2025 14:39:24 +0200 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Sat, 05 Jul 2025 14:19:45 +0200 | wenzelm | clarified modules: explicit structure Bires; | changeset | files |
| Thu, 03 Jul 2025 15:28:31 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Fri, 04 Jul 2025 15:08:09 +0100 | paulson | Two lemmas and a comment | changeset | files |
| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | changeset | files |
| Tue, 01 Jul 2025 20:51:26 +0200 | haftmann | isabelle regenerate_cooper | changeset | files |