| Fri, 08 Nov 2024 11:18:08 +0100 | nipkow | tuned | file | diff | annotate |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
| Mon, 19 Feb 2024 08:23:23 +0100 | nipkow | use define_time_fun | file | diff | annotate |
| Wed, 06 Dec 2023 12:06:29 +0100 | nipkow | tuned T functions: now 0 if not recursive | file | diff | annotate |
| Mon, 25 Jul 2022 12:19:59 +0200 | nipkow | replaced complicated lemma by a simpler one | file | diff | annotate |
| Fri, 15 Jul 2022 08:46:04 +0200 | nipkow | tuned names | file | diff | annotate |