| Tue, 18 Jun 2024 16:55:30 +0200 | nipkow | tuned def: patter matching needs more beautification | file | diff | annotate |
| Sun, 24 Mar 2024 14:15:10 +0100 | nipkow | tuned parameter order | file | diff | annotate |
| Fri, 29 Jul 2022 08:45:51 +0200 | nipkow | prettified def | file | diff | annotate |
| Wed, 31 Mar 2021 18:18:03 +0200 | nipkow | new automatic order prover: stateless, complete, verified | file | diff | annotate |
| Fri, 11 Dec 2020 17:29:42 +0100 | nipkow | tuned | file | diff | annotate |
| Fri, 18 Sep 2020 12:33:10 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 19 May 2020 09:33:16 +0200 | nipkow | tuned | file | diff | annotate |