/mk_res_quan.sml/1.1.1.1/Mon Oct 16 13:33:18 1995//THOL97
/mk_lib.sml/1.1.1.1.6.1/Mon Jul 14 17:45:51 1997//THOL97
