| Mon, 01 Dec 1997 08:59:40 +0100 | narasche | args for record data | changeset | files |
| Fri, 28 Nov 1997 16:17:30 +0100 | nipkow | Removed "open Mutil;" | changeset | files |
| Fri, 28 Nov 1997 11:00:42 +0100 | paulson | Added comments | changeset | files |
| Fri, 28 Nov 1997 10:59:14 +0100 | paulson | New timing functions startTiming and endTiming | changeset | files |
| Fri, 28 Nov 1997 10:54:13 +0100 | paulson | addsplits now in FOL, ZF too | changeset | files |
| Fri, 28 Nov 1997 10:52:32 +0100 | paulson | New example | changeset | files |
| Fri, 28 Nov 1997 10:52:04 +0100 | paulson | Printing of statistics including time for search & reconstruction | changeset | files |
| Fri, 28 Nov 1997 10:36:08 +0100 | paulson | New example | changeset | files |
| 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 |