| Mon, 20 Jun 2005 21:33:27 +0200 | wenzelm | use Tools/ATP/VampCommunication.ML; | changeset | files |
| Mon, 20 Jun 2005 18:39:24 +0200 | quigley | Added VampCommunication.ML. | changeset | files |
| 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 |