/FOL.sig/1.1.2.2.2.1/Wed Jun 25 02:35:25 1997//THOL97
/FOL.sml/1.1.2.1.2.1/Tue Jul  8 22:07:44 1997//THOL97
/FOL_HOL.sig/1.1.2.1.2.2/Fri Jul 11 19:41:01 1997//THOL97
/FOL_HOL.sml/1.1.2.1.2.2/Fri Jul 11 19:40:24 1997//THOL97
/folLib.sml/1.1.2.1/Tue Jul  1 01:32:40 1997//THOL97
