| Tue, 19 May 2020 09:33:16 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 12 May 2020 10:59:59 +0200 | nipkow | "app" -> "join" for RBTs | file | diff | annotate |
| Tue, 18 Feb 2020 18:08:08 +0100 | nipkow | tuned proof | file | diff | annotate |
| Tue, 07 Jan 2020 12:37:12 +0100 | nipkow | alternative deletion in Red-Black trees | file | diff | annotate |