Thu, 12 Nov 2020 12:44:17 +0100 | nipkow | tuned | file | diff | annotate |
Tue, 10 Nov 2020 17:42:41 +0100 | nipkow | renamed "balanced" -> "acomplete" because balanced has other meanings in the literature | file | diff | annotate |
Thu, 16 May 2019 19:43:21 +0200 | nipkow | tuned name | file | diff | annotate |
Tue, 01 Aug 2017 10:28:42 +0200 | nipkow | new lemma | file | diff | annotate |
Sun, 15 Nov 2015 14:38:29 +0100 | nipkow | added pretty syntax | file | diff | annotate |
Wed, 11 Nov 2015 18:32:26 +0100 | nipkow | no CRLF | file | diff | annotate |
Sun, 18 Oct 2015 17:25:13 +0200 | nipkow | added 2-3 trees (simpler and more complete than the version in ex/Tree23) | file | diff | annotate |