Thu, 26 Nov 2020 18:06:36 +0100 | desharna | proper handling of builtins in TFX | changeset | files |
Thu, 26 Nov 2020 13:47:29 +0100 | desharna | proper generation of TPTP output for higher order builtins | changeset | files |
Wed, 16 Dec 2020 00:08:31 +0100 | nipkow | tuned | changeset | files |