| Sat, 26 Aug 2023 11:36:25 +0100 | paulson | tidying up old apply-style proofs | file | diff | annotate |
| Thu, 13 Apr 2023 15:36:07 +1000 | nipkow | proper invariants | file | diff | annotate |
| Sat, 01 Apr 2023 15:52:40 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 14 May 2019 20:35:09 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 14 May 2019 17:21:13 +0200 | nipkow | tuned names | file | diff | annotate |
| Sun, 12 May 2019 20:15:28 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 09 May 2019 12:32:47 +0200 | nipkow | New version of tries | file | diff | annotate |