| Wed, 08 Nov 2023 21:44:44 +0100 | nipkow | added lemma | file | diff | annotate |
| Fri, 27 Oct 2023 18:27:06 +0200 | nipkow | added lemma | file | diff | annotate |
| Fri, 27 Oct 2023 08:16:16 +0200 | nipkow | added lemma | file | diff | annotate |
| Wed, 31 Aug 2022 23:00:43 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 31 Aug 2022 23:00:14 +0200 | wenzelm | eliminated DOS line endings; | file | diff | annotate |
| Thu, 11 Aug 2022 13:23:00 +0200 | nipkow | removing the [simp] attribute breaks too many AFP entries severely | file | diff | annotate |
| Thu, 11 Aug 2022 11:57:19 +0200 | nipkow | nlists is picked up automatically but conflicts with the RBT setup | file | diff | annotate |
| Thu, 11 Aug 2022 10:11:21 +0200 | nipkow | new lemma | file | diff | annotate |
| Wed, 10 Aug 2022 21:40:10 +0200 | nipkow | New theory of fixed length lists | file | diff | annotate |