| Tue, 06 Oct 2015 11:34:07 +0200 | blanchet | tuning | changeset | files |
| Tue, 06 Oct 2015 09:27:31 +0200 | blanchet | avoid legacy syntax | changeset | files |
| Mon, 05 Oct 2015 23:03:50 +0200 | blanchet | further improved fine point w.r.t. replaying in the presence of chained facts and a non-empty meta-quantifier prefix + avoid printing internal names in backquotes | changeset | files |
| Mon, 05 Oct 2015 21:46:48 +0200 | blanchet | added "!=" (disequality) as a TPTP binary operator, since it pops up in LEO-II proofs | changeset | files |