/cond.t/1.4/Thu Apr  6 17:07:50 2000//
/if.t/1.4/Thu Apr  6 17:07:50 2000//
/lex.t/1.4/Thu Apr  6 17:07:50 2000//
/pat.t/1.4/Thu Apr  6 17:07:50 2000//
/rs.t/1.1.1.2/Thu Apr  6 16:10:37 2000//
/term.t/1.4/Thu Apr  6 17:07:51 2000//
D
