Sat, 12 Jul 2014 11:31:23 +0200 | blanchet | don't generate TPTP THF 'Definition's, because they complicate reconstruction for AgsyHOL and Satallax | changeset | files |
Sat, 12 Jul 2014 11:31:22 +0200 | blanchet | tuning | changeset | files |
Sat, 12 Jul 2014 11:31:22 +0200 | blanchet | made SML/NJ happier | changeset | files |