/num.t/1.1.1.4/Mon Sep 29 17:18:58 2008/-ko/
/cond.t/1.8/Mon Nov 29 20:52:42 2010/-ko/
/if.t/1.8/Mon Nov 29 20:52:42 2010/-ko/
/lex.t/1.10/Mon Nov 29 20:52:42 2010/-ko/
/pat.t/1.8/Mon Nov 29 20:52:42 2010/-ko/
/rs.t/1.1.1.6/Mon Nov 29 20:52:42 2010/-ko/
/term.t/1.9/Mon Nov 29 20:52:42 2010/-ko/
D
