Mon, 20 Sep 2021 13:51:32 +0200 | wenzelm | tuned proofs; | changeset | files |
Mon, 20 Sep 2021 11:35:27 +0200 | wenzelm | clarified antiquotations; | changeset | files |
Mon, 20 Sep 2021 10:22:59 +0200 | desharna | proper firstorderization in Sledgehammer | changeset | files |