| 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 |