| Mon, 01 Jul 2024 13:09:03 +0200 | wenzelm | tuned document layout, for more prominent presentation; | file | diff | annotate |
| Tue, 07 Mar 2023 23:09:30 +0100 | wenzelm | eliminated suspicious Unicode characters; | file | diff | annotate |
| Mon, 17 Oct 2022 16:00:41 +0100 | paulson | tiny renaming | file | diff | annotate |
| Mon, 17 Oct 2022 14:53:02 +0100 | paulson | Added the multiset termination proof | file | diff | annotate |
| Fri, 28 Jan 2022 16:15:28 +0000 | paulson | Deletion of a duplicate proof | file | diff | annotate |
| Fri, 02 Apr 2021 12:24:29 +0100 | paulson | Cosmetic: no !! in the lemma statement | file | diff | annotate |
| Mon, 13 Jul 2020 17:08:45 +0200 | wenzelm | clarified examples; | file | diff | annotate |
| Tue, 09 Jun 2020 12:13:15 +0100 | paulson | New Ackermann development | file | diff | annotate |