/cond.t/1.7/Wed Dec  3 03:02:47 2003//
/if.t/1.7/Wed Dec  3 03:02:47 2003//
/lex.t/1.7/Wed Dec  3 03:02:47 2003//
/num.t/1.1.1.3/Wed Apr  7 21:13:42 2004/-ko/
/pat.t/1.7/Wed Dec  3 03:02:47 2003//
/rs.t/1.1.1.4/Sun Oct 27 22:15:09 2002//
/term.t/1.7/Wed Dec  3 03:02:47 2003//
D
