/wellorderLib.sml/1.1.2.1/Thu Jul  3 17:33:03 1997//THOL97
