Mon, 18 Dec 2017 16:58:13 +0100 | traytel | a conditional paramitrecity prover | changeset | files |
Mon, 18 Dec 2017 11:56:12 +0100 | traytel | removed debug output | changeset | files |
Sun, 17 Dec 2017 08:42:59 +0100 | traytel | made tactics more robust | changeset | files |