/mk_pair_thms.sml/1.1.1.1.6.1/Mon Jul 14 17:25:26 1997//THOL97
