/cond.t/1.3/Wed Jun 30 13:23:39 1999//
/if.t/1.3/Wed Jun 30 13:23:39 1999//
/lex.t/1.3/Wed Jun 30 13:23:39 1999//
/pat.t/1.3/Wed Jun 30 13:23:39 1999//
/rs.t/1.1.1.1/Thu Apr 29 22:41:14 1999//
/term.t/1.3/Wed Jun 30 13:23:40 1999//
D
