Fri, 07 Mar 1997 10:23:54 +0100 | paulson | Corrected aeconv and exported it | changeset | files |
Fri, 07 Mar 1997 10:22:54 +0100 | paulson | Prevent permutation of assumptions in hyp_subst_tac | changeset | files |
Fri, 07 Mar 1997 10:21:11 +0100 | paulson | Deleted steps made redundant by the stronger eq_assume_tac | changeset | files |