/loaded.sml/1.1.2.1/Fri Jul  4 00:19:45 1997//THOL97
/wordLib.sml/1.1.2.1/Thu Jul  3 23:35:20 1997//THOL97
/word_convs.sig/1.2.4.1/Thu Jul  3 23:32:09 1997//THOL97
/word_convs.sml/1.4.4.1/Fri Jul  4 00:30:54 1997//THOL97
