| Thu, 21 Oct 1993 14:59:54 +0100 | lcp | simpdata/basify: now calls new fastype_of | changeset | files |
| Thu, 21 Oct 1993 14:56:12 +0100 | lcp | logic/mk_equals,mk_flexpair: now calls fastype_of instead of type_of. | changeset | files |
| Thu, 21 Oct 1993 14:47:48 +0100 | lcp | now calls new fastype_of in three places | changeset | files |
| Thu, 21 Oct 1993 14:40:06 +0100 | lcp | Pure/Syntax/printer/is_prop: now calls fastype_of1 | changeset | files |