Sun, 16 Jan 2022 21:41:16 +0100 proper treatment of $let variables in symbol table in Sledgehammer default tip
desharna [Sun, 16 Jan 2022 21:41:16 +0100] rev 74984
proper treatment of $let variables in symbol table in Sledgehammer
Sat, 15 Jan 2022 14:26:16 +0100 removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer
desharna [Sat, 15 Jan 2022 14:26:16 +0100] rev 74983
removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer
Wed, 12 Jan 2022 16:33:07 +0100 merged
desharna [Wed, 12 Jan 2022 16:33:07 +0100] rev 74982
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 tip