Wed, 26 Nov 1997 17:35:08 +0100 | paulson | Blast_tac can prove Pelletier\'s problem 46\! | changeset | files |
Wed, 26 Nov 1997 17:32:52 +0100 | paulson | Tidying and using equalityCE instead of the slower equalityE | changeset | files |
Wed, 26 Nov 1997 17:31:02 +0100 | paulson | The change from iffE to iffCE means fewer case splits in most cases. Very few | changeset | files |
Wed, 26 Nov 1997 17:27:34 +0100 | paulson | Tidying | changeset | files |
Wed, 26 Nov 1997 17:26:12 +0100 | paulson | Tidying and modification to cope with iffCE | changeset | files |
Wed, 26 Nov 1997 17:23:18 +0100 | paulson | Added rule impCE' | changeset | files |
Wed, 26 Nov 1997 17:16:48 +0100 | paulson | Changes to AddIs improve performance of Blast_tac | changeset | files |