| Mon, 01 Dec 1997 18:22:02 +0100 | wenzelm | ISABELLE_TMP; | changeset | files |
| Mon, 01 Dec 1997 14:42:30 +0100 | berghofe | Added DiffCancelSums. | changeset | files |
| Mon, 01 Dec 1997 12:52:18 +0100 | paulson | New guarantee B_trusts_NS5, and tidying | changeset | files |
| Mon, 01 Dec 1997 12:50:04 +0100 | paulson | speed-up | changeset | files |
| 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 |