/rs.t/1.1.1.4/Sun Oct 27 22:15:09 2002//
/cond.t/1.7/Thu Dec  4 08:34:48 2003//
/if.t/1.7/Thu Dec  4 08:34:48 2003//
/lex.t/1.7/Thu Dec  4 08:34:49 2003//
/num.t/1.1.1.2/Thu Dec  4 08:34:49 2003/-ko/
/pat.t/1.7/Thu Dec  4 08:34:49 2003//
/term.t/1.7/Thu Dec  4 08:34:49 2003//
D
