Fri, 02 Oct 2020 17:03:46 +0100 | paulson | merged | changeset | files |
Fri, 02 Oct 2020 17:03:34 +0100 | paulson | fixed a bunch of ugly proofs | changeset | files |
Fri, 02 Oct 2020 10:18:50 +0200 | desharna | Add more tacing to sledgehammer_isar_trace | changeset | files |