Fri, 22 Jul 2005 13:19:06 +0200 | paulson | streamlined the tptp output | changeset | files |
Fri, 22 Jul 2005 13:18:54 +0200 | paulson | removed unused code | changeset | files |
Fri, 22 Jul 2005 11:55:11 +0200 | berghofe | Tuned comment. | changeset | files |
Fri, 22 Jul 2005 11:54:29 +0200 | berghofe | Rewrote function remove_suc, since it failed on some equations | changeset | files |