| 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 |