| Fri, 29 Oct 2021 15:09:46 +0200 | Lukas Stevens | order_tac: prevent potential bug, improve perf and tracing | file | diff | annotate |
| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Wed, 31 Mar 2021 18:18:03 +0200 | nipkow | new automatic order prover: stateless, complete, verified | file | diff | annotate |