/integerLib.sml/1.1.2.1/Sat Jul  5 19:04:45 1997//THOL97
/integer_tac.sig/1.2.4.1/Thu Jun 26 23:22:07 1997//THOL97
/integer_tac.sml/1.2.4.1/Sat Jul  5 19:18:10 1997//THOL97
/loaded.sml/1.1.2.1/Sat Jul  5 19:09:15 1997//THOL97
