| Mon, 20 Jun 2005 16:41:47 +0200 | wenzelm | moved configure to lib/scripts; | changeset | files |
| Mon, 20 Jun 2005 16:41:20 +0200 | wenzelm | ./configure obsolete on virtually all systems, but apt to cause problems; | changeset | files |
| Mon, 20 Jun 2005 15:55:44 +0200 | paulson | using TPTP2X_HOME; indentation, etc | changeset | files |
| Mon, 20 Jun 2005 15:54:39 +0200 | paulson | fixed a faulty proof | changeset | files |
| Mon, 20 Jun 2005 15:54:22 +0200 | paulson | moving some generic inequalities from integer arith to nat arith | changeset | files |
| Mon, 20 Jun 2005 11:45:40 +0200 | haftmann | (moved to Distribution/lib/scripts) | changeset | files |
| Mon, 20 Jun 2005 11:30:44 +0200 | haftmann | added fixheaders | changeset | files |