| Thu, 23 Feb 2006 12:59:01 +0100 | mengj | eprover removes tmp files too. | changeset | files |
| Thu, 23 Feb 2006 12:57:39 +0100 | mengj | vampire/eprover methods can now be applied repeatedly until they fail. | changeset | files |
| Wed, 22 Feb 2006 22:18:42 +0100 | wenzelm | removed obsolete meta_conjunction_tr'; | changeset | files |
| Wed, 22 Feb 2006 22:18:41 +0100 | wenzelm | rew: handle conjunctionI/D1/D2; | changeset | files |