Wed, 29 Sep 2021 22:54:38 +0200 | wenzelm | clarified antiquotations; | changeset | files |
Wed, 29 Sep 2021 18:22:32 +0200 | wenzelm | clarified antiquotations; | changeset | files |
Wed, 29 Sep 2021 18:21:22 +0200 | wenzelm | clarified antiquotations; | changeset | files |
Wed, 29 Sep 2021 16:49:07 +0200 | desharna | merged | changeset | files |
Tue, 28 Sep 2021 17:14:21 +0200 | desharna | tuned TPTP parsing of THF function application | changeset | files |
Wed, 29 Sep 2021 11:55:09 +0200 | wenzelm | clarified examples; | changeset | files |