/build.yak/1.1.2.1/Wed Jun  4 19:55:42 1997//THOL97
/holsig.lex/1.1.2.1/Wed Jun  4 19:48:51 1997//THOL97
/lib.lex/1.1.2.1/Wed Jun  4 19:49:08 1997//THOL97
/make_clean/1.1.2.1/Sun May 11 11:24:21 1997//THOL97
/thms.lex/1.1.2.1/Wed Jun  4 19:49:27 1997//THOL97
/thy.lex/1.1.2.1/Wed Jun  4 19:46:16 1997//THOL97
/hol.lex/1.1.2.2/Tue Jun 24 23:04:31 1997//THOL97
/hol.yak/1.1.2.2/Thu Jun 19 17:49:43 1997//THOL97
/thy.yak/1.1.2.2/Mon Jul  7 00:30:46 1997//THOL97
/hol.lex.90/1.1.2.1/Wed Jun 25 00:42:49 1997//THOL97
/holsig.yak/1.1.2.3/Sun Oct  5 16:08:53 1997//THOL97
/lib.yak/1.1.2.3/Sun Oct  5 16:09:42 1997//THOL97
/thms.yak/1.1.2.3/Sun Oct  5 16:09:59 1997//THOL97
