Wed, 20 Dec 2017 19:17:37 +0100 | nipkow | tuned op's | changeset | files |
Wed, 20 Dec 2017 14:53:34 +0100 | nipkow | tuned op's | changeset | files |
Wed, 20 Dec 2017 12:22:36 +0100 | nipkow | tuned op's | changeset | files |
Wed, 20 Dec 2017 18:51:13 +0100 | wenzelm | updated URL; | changeset | files |
Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
Tue, 19 Dec 2017 14:51:27 +0100 | blanchet | have 'try0' display results faster | changeset | files |
Mon, 18 Dec 2017 16:58:13 +0100 | traytel | a conditional paramitrecity prover | changeset | files |