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