| Mon, 15 Jan 2024 22:50:13 +0100 | nipkow | Added time function automation | file | diff | annotate |
| Wed, 06 Dec 2023 12:06:29 +0100 | nipkow | tuned T functions: now 0 if not recursive | file | diff | annotate |
| Mon, 02 Nov 2020 23:37:51 +0100 | nipkow | tuned defs and proofs | file | diff | annotate |
| Sat, 08 Aug 2020 18:20:09 +0200 | nipkow | tuned | file | diff | annotate |
| Sat, 08 Aug 2020 18:04:08 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 06 Aug 2020 17:39:57 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 06 Aug 2020 17:11:33 +0200 | nipkow | added theory Tree23_of_List | file | diff | annotate |