--rwxrwxr-x gabidiaz sys  401 Nov 25  2002 cond.t
--rwxrwxr-x gabidiaz sys  274 Nov 25  2002 if.t
--rwxrwxr-x bootes   sys 5797 Nov 25  2002 lex.t
--rwxrwxr-x bootes   sys 4714 Nov 25  2002 num.t
--rwxrwxr-x gabidiaz sys  272 Nov 25  2002 pat.t
--rwxrwxr-x gabidiaz sys 4086 Nov 25  2002 rs.t
--rwxrwxr-x gabidiaz sys 1305 Nov 25  2002 term.t