/cond.t/1.5/Thu May 24 18:36:04 2001//
/if.t/1.5/Thu May 24 18:36:04 2001//
/lex.t/1.5/Thu May 24 18:36:04 2001//
/pat.t/1.5/Thu May 24 18:36:04 2001//
/rs.t/1.1.1.3/Thu May 24 18:25:01 2001//
/term.t/1.5/Thu May 24 18:36:04 2001//
D
