| Sat, 21 Apr 2012 11:04:21 +0200 | huffman | remove duplicate of lemma id_transfer | changeset | files |
| Sat, 21 Apr 2012 11:02:01 +0200 | huffman | added covariant relator set_rel, with transfer rules for set operations | changeset | files |
| Sat, 21 Apr 2012 10:59:52 +0200 | huffman | renamed contravariant relator set_rel to vset_rel, to make room for new covariant relator | changeset | files |
| Sat, 21 Apr 2012 11:15:49 +0200 | blanchet | tried to make SML/NJ happy | changeset | files |
| Sat, 21 Apr 2012 11:15:49 +0200 | blanchet | tuned "max_relevant" defaults for SMT solvers based on Judgment Day | changeset | files |
| Sat, 21 Apr 2012 11:15:49 +0200 | blanchet | prepend PWD to relative paths | changeset | files |
| Sat, 21 Apr 2012 11:15:49 +0200 | blanchet | reintroduced old FOF and CNF parsers, to work around TPTP_Parser failures | changeset | files |