| 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 |
| Wed, 25 Sep 2019 17:22:57 +0200 | nipkow | replaced new type ('a,'b) tree by old type ('a*'b) tree. | file | diff | annotate |
| Tue, 20 Aug 2019 09:26:22 +0200 | nipkow | tuned | file | diff | annotate |