| Tue, 18 Nov 1997 16:36:33 +0100 | paulson | The dtac was discarding information, though apparently no proofs were hurt | changeset | files |
| Tue, 18 Nov 1997 15:30:50 +0100 | berghofe | Fixed bug in inst_split. | changeset | files |
| Mon, 17 Nov 1997 15:40:25 +0100 | wenzelm | improved big_rec_name lookup; | changeset | files |
| Mon, 17 Nov 1997 10:50:03 +0100 | paulson | Updated comments. A bug causes MLWorks to use much | changeset | files |
| Mon, 17 Nov 1997 10:48:07 +0100 | paulson | Rationalized error handling: if low-level tactic (depth_tac) cannot accept the | changeset | files |
| Mon, 17 Nov 1997 09:52:20 +0100 | berghofe | Tuned function mk_cntxt_splitthm. | changeset | files |
| Sun, 16 Nov 1997 16:18:31 +0100 | nipkow | Removed | changeset | files |
| Sat, 15 Nov 1997 18:41:06 +0100 | nipkow | Redesigned the decision procedures for (Abelian) groups and commutative rings. | changeset | files |