Tue, 23 Feb 2021 20:41:48 +0000 | haftmann | dropped obscure FIXME | changeset | files |
Tue, 23 Feb 2021 12:20:50 +0100 | desharna | proper usage of hypotheses for zipperposition's TPTP generation | changeset | files |
Tue, 23 Feb 2021 10:13:09 +0100 | desharna | merged | changeset | files |