| Tue, 20 Dec 2005 08:38:43 +0100 | haftmann | resolved shadowing of Library.find_first | changeset | files |
| Tue, 20 Dec 2005 08:38:10 +0100 | haftmann | removed infix prefix, introduces burrow | changeset | files |
| Tue, 20 Dec 2005 04:29:25 +0100 | mengj | Literals in clauses are sorted now. Added functions for clause equivalence tests and hashing clauses to words. | changeset | files |
| Tue, 20 Dec 2005 04:27:46 +0100 | mengj | Added functions for fol_type; also put some functions to the signature, used by ResHolClause. | changeset | files |
| Mon, 19 Dec 2005 16:07:19 +0100 | urbanc | made the changes according to Florian's re-arranging of | changeset | files |
| Mon, 19 Dec 2005 15:29:51 +0100 | urbanc | added proofs to show that every atom-kind combination | changeset | files |