/compat.sig/1.2.2.1.2.2/Fri Jul 11 19:51:21 1997//THOL97
/compat.sml/1.2.2.1.2.2/Fri Jul 11 19:52:06 1997//THOL97
/hol88Lib.sml/1.1.2.1/Tue Jul  1 00:25:35 1997//THOL97
