/cond.t/1.1.1.1/Wed May 02 15:40:16 2001//
/if.t/1.1.1.1/Wed May 02 15:40:16 2001//
/lex.t/1.1.1.1/Wed May 02 15:40:16 2001//
/pat.t/1.1.1.1/Wed May 02 15:40:16 2001//
/rs.t/1.1.1.1/Wed May 02 15:40:16 2001//
/term.t/1.1.1.1/Wed May 02 15:40:16 2001//
D
