/build.sml/1.1.2.1/Sun Jun 29 23:16:04 1997//THOL97
/sources.cm/1.1.2.1/Sun Jun 29 18:21:05 1997//THOL97
/mk_integer.sml/1.2.4.3/Fri Sep 12 00:20:03 1997//THOL97
