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 |