| 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 |