| Sat, 07 Apr 2018 22:09:57 +0200 | nipkow | tuned | file | diff | annotate |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | more simplification rules | file | diff | annotate |
| 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 |