/cond.t/1.2/Sun Nov 30 07:59:50 1997//
/if.t/1.2/Sun Nov 30 07:59:51 1997//
/lex.t/1.2/Sun Nov 30 07:59:52 1997//
/pat.t/1.2/Sun Nov 30 07:59:53 1997//
/term.t/1.2/Sun Nov 30 07:59:53 1997//
D
