/mk_List.sml/1.1.1.1.6.1/Mon Jul 14 16:06:11 1997//THOL97
/mk_operator.sml/1.1.1.1.6.1/Mon Jul 14 16:06:12 1997//THOL97
