Wed, 26 Nov 1997 17:52:53 +0100 | wenzelm | separate lists of simprocs; | changeset | files |
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 |