| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | changeset | files |
| Thu, 27 Nov 1997 19:37:36 +0100 | wenzelm | SYNC; | changeset | files |
| Thu, 27 Nov 1997 19:36:51 +0100 | wenzelm | removed read_cterms; | changeset | files |
| Thu, 27 Nov 1997 19:36:31 +0100 | wenzelm | fixed warning; | changeset | files |
| Thu, 27 Nov 1997 19:36:08 +0100 | wenzelm | removed same_thm; | changeset | files |
| Thu, 27 Nov 1997 14:05:25 +0100 | paulson | Tidying, mostly indentation | changeset | files |
| Thu, 27 Nov 1997 13:58:51 +0100 | paulson | Deleted some needless addSIs; got rid of a slow Blast_tac | changeset | files |
| Thu, 27 Nov 1997 13:38:06 +0100 | wenzelm | mk_norm_sum; | changeset | files |
| 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 |
| 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 |