Name Last modified Size Description Parent Directory - lex.t 1994-10-18 16:42 1.5K term.t 1994-10-18 16:43 936 cond.t 1994-10-18 16:42 401 if.t 1994-10-18 16:42 274 pat.t 1994-10-18 16:43 272