| Tue, 18 Jan 2022 17:55:20 +0100 | desharna | added Mirabelle option -r to randomize the goals before selection | changeset | files |
| Mon, 17 Jan 2022 17:04:50 +0000 | paulson | A new lemma about inverse image | changeset | files |
| 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 |