| Wed, 14 Dec 2005 16:14:41 +0100 | paulson | modified example for new clauses | changeset | files |
| Wed, 14 Dec 2005 16:14:26 +0100 | paulson | removal of some redundancies (e.g. one-point-rules) in clause production | changeset | files |
| Wed, 14 Dec 2005 16:13:09 +0100 | paulson | removed unused function repeat_RS | changeset | files |
| Wed, 14 Dec 2005 06:19:33 +0100 | mengj | Changed literals' ordering and the functions for sorting literals. | changeset | files |
| Wed, 14 Dec 2005 01:40:43 +0100 | mengj | 1. changed fol_type, it's not a string type anymore. | changeset | files |
| Wed, 14 Dec 2005 01:39:41 +0100 | mengj | changed ATP input files' names and location. | changeset | files |
| Tue, 13 Dec 2005 19:32:36 +0100 | wenzelm | Potentially infinite lists as greatest fixed-point. | changeset | files |
| Tue, 13 Dec 2005 19:32:06 +0100 | wenzelm | Provers/induct: coinduct; | changeset | files |