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 |
Wed, 23 Jul 1997 11:49:20 +0200 | paulson | auto update | changeset | files |