Mon, 16 Aug 2021 23:07:01 +0200 | desharna | merged | changeset | files |
Mon, 16 Aug 2021 13:00:55 +0200 | desharna | fixed $ite syntax in TPTP THX generation | changeset | files |
Mon, 16 Aug 2021 11:49:39 +0200 | wenzelm | tuned signature; | changeset | files |