/wordScript.sml/1.3/Thu Dec 28 15:16:18 2000//
/word_bitopScript.sml/1.7/Thu Dec 28 15:16:18 2000//
/bword_arithScript.sml/1.7/Fri Jan  5 10:09:53 2001//
/bword_bitopScript.sml/1.7/Fri Jan  5 10:05:18 2001//
/bword_numScript.sml/1.7/Fri Jan  5 10:05:24 2001//
/word_numScript.sml/1.6/Fri Jan  5 10:05:57 2001//
/Base.sml/1.10/Tue Jun 19 00:04:28 2001//
/word_baseScript.sml/1.10/Wed Jun 20 13:21:28 2001//
D
