| Thu, 12 Nov 2020 12:44:17 +0100 | nipkow | tuned | file | diff | annotate |
| Mon, 03 Aug 2020 16:21:33 +0200 | nipkow | added lemma | file | diff | annotate |
| Thu, 23 Apr 2020 23:08:29 +0200 | nipkow | tuned document | file | diff | annotate |
| Thu, 26 Sep 2019 21:22:58 +0200 | nipkow | added lemma | file | diff | annotate |
| Wed, 25 Sep 2019 17:22:57 +0200 | nipkow | replaced new type ('a,'b) tree by old type ('a*'b) tree. | file | diff | annotate |
| Mon, 23 Sep 2019 08:43:52 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 23 Sep 2019 07:57:58 +0200 | nipkow | added lemma | file | diff | annotate |