/cond.t/1.1.1.1/Mon Aug 19 10:13:09 1996//
/if.t/1.1.1.1/Mon Aug 19 10:13:09 1996//
/lex.t/1.1.1.1/Mon Aug 19 10:13:09 1996//
/pat.t/1.1.1.1/Mon Aug 19 10:13:09 1996//
/term.t/1.1.1.1/Mon Aug 19 10:13:09 1996//
D
