Wed, 26 Nov 1997 17:35:46 +0100 | paulson | Added rule impCE' | changeset | files |
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 |