| Thu, 06 Sep 2007 17:06:04 +0200 | paulson | Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME | changeset | files |
| Thu, 06 Sep 2007 17:03:53 +0200 | paulson | Vampire structured proofs. Better parsing; some bug fixes. | changeset | files |
| Thu, 06 Sep 2007 17:03:32 +0200 | paulson | chained facts are now included | changeset | files |
| Thu, 06 Sep 2007 16:54:03 +0200 | paulson | new proofs found | changeset | files |
| Thu, 06 Sep 2007 16:28:42 +0200 | urbanc | trivial cleaning up | changeset | files |
| Thu, 06 Sep 2007 12:30:41 +0200 | wenzelm | added goal_message; | changeset | files |
| Thu, 06 Sep 2007 12:30:11 +0200 | wenzelm | theorem hooks: apply in declaration order; | changeset | files |