Tue, 29 Jun 2010 09:19:16 +0200 | blanchet | move "nice names" from Metis to TPTP format | changeset | files |
Tue, 29 Jun 2010 09:05:37 +0200 | blanchet | move functions not needed by Metis out of "Metis_Clauses" | changeset | files |
Mon, 28 Jun 2010 18:47:07 +0200 | blanchet | no setup is necessary anymore | changeset | files |