/mk_set.sml/1.1.1.1.6.2/Mon Jul 14 17:49:47 1997//THOL97
