| Sat, 26 Aug 2023 11:36:25 +0100 | paulson | tidying up old apply-style proofs | file | diff | annotate |
| Mon, 05 Sep 2022 20:22:13 +0200 | wenzelm | proper umlauts; | file | diff | annotate |
| Wed, 31 Mar 2021 18:18:03 +0200 | nipkow | new automatic order prover: stateless, complete, verified | file | diff | annotate |