Fri, 25 Oct 2019 14:59:56 +0200 | blanchet | removed support for E-ToFoF, which has lost its raison d'etre since E 2.0 supports TF0 | changeset | files |
Fri, 25 Oct 2019 14:55:14 +0200 | blanchet | removed E-SInE, a very old system by now (and SInE has been incorporated in many provers in the past decade) | changeset | files |