/mk_wellorder.sml/1.1.1.1.6.1/Tue Jul 15 13:04:32 1997//THOL97
