Sun, 16 Jan 2022 21:41:16 +0100 | desharna | proper treatment of $let variables in symbol table in Sledgehammer | changeset | files |
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 |