1994-10-12 ago added is_equals: term -> bool;
1994-09-06 ago Pure/type/unvarifyT: moved there from logic.ML
1994-08-18 ago /unvarifyT, unvarify: moved to Pure/logic.ML
1994-07-06 ago changed comment only;
1994-05-26 ago added mk_type, dest_type, mk_inclass, dest_inclass (for axclasses);
1994-01-04 ago commented out sig constraint of functor (for debugging purposes);
1993-10-21 ago logic/mk_equals,mk_flexpair: now calls fastype_of instead of type_of.
1993-09-16 ago Initial revision