Sat, 15 Jan 2022 14:26:16 +0100 | desharna | removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer | changeset | files |
Wed, 12 Jan 2022 16:33:07 +0100 | desharna | merged | changeset | files |
Tue, 11 Jan 2022 22:07:04 +0100 | desharna | split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir" | changeset | files |