| Mon, 02 May 2011 22:52:15 +0200 | blanchet | generate tags for simps, intros, and elims in TPTP poblems on demand | changeset | files |
| Mon, 02 May 2011 22:52:15 +0200 | blanchet | proper default for TPTP source filed | changeset | files |
| Mon, 02 May 2011 22:52:15 +0200 | blanchet | have each ATP filter out dangerous facts for themselves, based on their type system | changeset | files |
| Mon, 02 May 2011 22:31:46 +0200 | wenzelm | eliminated old CVS Ids; | changeset | files |
| Mon, 02 May 2011 22:19:28 +0200 | wenzelm | no use of package rail; | changeset | files |
| Mon, 02 May 2011 22:06:49 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 02 May 2011 22:05:47 +0200 | wenzelm | removed rail garbage; | changeset | files |