/mk_pred_set.sml/1.1.1.1.6.2/Mon Jul 14 17:27:39 1997//THOL97
