| Thu, 24 Jul 2025 16:44:52 +0200 | haftmann | moved / rearranged lemma | file | diff | annotate |
| Thu, 17 Jul 2025 21:06:22 +0100 | nipkow | moved lemma | file | diff | annotate |
| Thu, 17 Jul 2025 20:09:42 +0100 | nipkow | added lemma | file | diff | annotate |
| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | file | diff | annotate |
| Wed, 28 May 2025 17:49:22 +0200 | haftmann | more modern qualification of auxiliary operations | file | diff | annotate |
| Wed, 07 Aug 2024 15:11:54 +0200 | wenzelm | tuned: more antiquotations; | file | diff | annotate |
| Wed, 06 Mar 2024 10:39:45 +0100 | blanchet | more multiset lemmas | file | diff | annotate |