Thu, 15 Jun 2017 11:11:36 +0200 | nipkow | tuned | file | diff | annotate |
Wed, 14 Jun 2017 19:39:12 +0200 | nipkow | simplified delete/proof | file | diff | annotate |
Sat, 28 Jan 2017 15:12:19 +0100 | nipkow | split balance into two, clearer etc | file | diff | annotate |
Fri, 27 Jan 2017 17:35:08 +0100 | nipkow | tuned name | file | diff | annotate |
Fri, 27 Jan 2017 17:28:10 +0100 | nipkow | removed unclear clause; slower but clearer | file | diff | annotate |
Fri, 27 Jan 2017 12:32:49 +0100 | nipkow | removed contribution by Daniel Stuewe, too detailed. | file | diff | annotate |
Thu, 26 Jan 2017 17:51:13 +0100 | nipkow | added concise log height bound lemma | file | diff | annotate |