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