/lib.sig/1.2/Tue Oct 31 15:04:27 1995//THOL97
/lib_data.sig/1.3/Tue Oct 31 15:04:33 1995//THOL97
/lib_desc.sig/1.1.1.1/Mon Oct 16 13:30:06 1995//THOL97
/lib_desc.sml/1.1.1.1/Mon Oct 16 13:30:06 1995//THOL97
/lib.sml/1.4.4.1/Thu Jul 10 19:11:57 1997//THOL97
/lib_data.sml/1.2.4.1/Thu Jun 26 01:01:09 1997//THOL97
/lib_io.90.sml/1.1.2.1/Wed Jun 25 00:34:13 1997//THOL97
/lib_io.sig/1.1.1.1.6.1/Tue Jun 24 22:22:02 1997//THOL97
/lib_io.sml/1.4.4.3/Sun Oct  5 19:47:17 1997//THOL97
