/arith_thms.sml/1.1.1.1/Mon Oct 16 13:33:33 1995//THOL97
/base.sml/1.1.1.1/Mon Oct 16 13:33:33 1995//THOL97
/mk_bword_arith.sml/1.2.2.1.2.1/Tue Jul 15 13:11:42 1997//THOL97
/mk_bword_bitop.sml/1.2.2.1.2.1/Tue Jul 15 13:11:44 1997//THOL97
/mk_bword_num.sml/1.2.2.1.2.1/Tue Jul 15 13:11:46 1997//THOL97
/mk_word.sml/1.2.2.1.2.1/Tue Jul 15 13:11:47 1997//THOL97
/mk_word_base.sml/1.2.2.1.2.1/Tue Jul 15 13:11:50 1997//THOL97
/mk_word_bitop.sml/1.2.2.1.2.1/Tue Jul 15 13:11:52 1997//THOL97
/mk_word_num.sml/1.2.2.1.2.1/Tue Jul 15 13:11:54 1997//THOL97
/Make/1.2.2.1.2.3/Mon Feb 23 20:36:50 1998//THOL97
