Wed, 23 Jul 1997 11:54:32 +0200 | paulson | Now rename_params_rule merely issues warnings--and does nothing--if the | changeset | files |
Wed, 23 Jul 1997 11:52:22 +0200 | paulson | Now Datatype.occs_in_prems prints the necessary warning ITSELF. | changeset | files |
Wed, 23 Jul 1997 11:50:26 +0200 | paulson | Uses new version of Datatype.occs_in_prems | changeset | files |