/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//
/pat.t/1.7/Thu Dec  4 08:34:49 2003//
/term.t/1.7/Thu Dec  4 08:34:49 2003//
/num.t/1.1.1.3/Thu Apr 29 18:31:29 2004/-ko/
D
