| Thu, 14 Jun 2007 18:33:29 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Thu, 14 Jun 2007 13:19:50 +0200 | paulson | Now ResHolClause also does first-order problems! | changeset | files |
| Thu, 14 Jun 2007 13:18:59 +0200 | paulson | Now also handles FO problems | changeset | files |
| Thu, 14 Jun 2007 13:18:24 +0200 | paulson | Deleted unused code | changeset | files |
| Thu, 14 Jun 2007 13:16:44 +0200 | paulson | tidied | changeset | files |
| Thu, 14 Jun 2007 10:38:48 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Thu, 14 Jun 2007 09:54:14 +0200 | kleing | clarified who we consider to be a contributor | changeset | files |