/filter.lex/1.1.2.2/Fri Jul 11 16:01:09 1997//THOL97
/filter.sml/1.1.2.2/Fri Jul 11 16:01:09 1997//THOL97
