| Fri, 28 Nov 1997 07:41:24 +0100 | nipkow | Removed dead code. | changeset | files |
| Fri, 28 Nov 1997 07:37:06 +0100 | nipkow | Moved the quantifier elimination simp procs into Provers. | changeset | files |
| Fri, 28 Nov 1997 07:35:47 +0100 | nipkow | Quantifier elimination procs. | changeset | files |
| Fri, 28 Nov 1997 07:35:10 +0100 | nipkow | Fixed the definition of `termord': is now antisymmetric. | changeset | files |
| 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 |