| Sun, 13 May 2018 14:40:40 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 13 May 2018 14:32:48 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 13 May 2018 13:43:34 +0200 | nipkow | mv lemma | file | diff | annotate |
| Sun, 13 May 2018 13:15:50 +0200 | nipkow | removed unused lemma | file | diff | annotate |
| Sun, 13 May 2018 13:07:09 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 10 May 2018 01:33:47 +0200 | nipkow | simpler types | file | diff | annotate |
| Fri, 04 May 2018 18:41:11 +0200 | nipkow | tuned | file | diff | annotate |