| Tue, 07 Mar 2006 03:58:50 +0100 | mengj | tptp_write_file now takes goals and axioms as Term.term and writes them to a file. | changeset | files |
| Tue, 07 Mar 2006 03:56:59 +0100 | mengj | Added functions to retrieve local and global atpset rules. | changeset | files |
| Tue, 07 Mar 2006 03:54:11 +0100 | mengj | Moved the settings for ATP time limit to res_atp.ML | changeset | files |
| Tue, 07 Mar 2006 03:51:40 +0100 | mengj | Merged res_atp_setup.ML into res_atp.ML. | changeset | files |
| Tue, 07 Mar 2006 03:49:26 +0100 | mengj | When ATP methods call ATPs, all input clauses from one subgoal are written to one file. | changeset | files |
| Tue, 07 Mar 2006 03:48:02 +0100 | mengj | Merged res_atp_setup.ML into res_atp.ML. | changeset | files |
| Sun, 05 Mar 2006 23:56:57 +0100 | wenzelm | SELECT_GOAL: fixed trivial case; | changeset | files |
| Sun, 05 Mar 2006 18:49:13 +0100 | webertj | fixed a typo in a comment | changeset | files |