../ cond.t 24-Aug-1993 00:30 427 if.t 24-Aug-1993 00:30 300 lex.t 24-Aug-1993 00:30 1154 pat.t 24-Aug-1993 00:30 298 term.t 24-Aug-1993 00:30 939