RULE : ARGTYPE

RULE is an argument type.
A rule that has been defined through DEFIRULE.
Currently any of:
Collecting Help: AB* ABE ABSURD ABU ASSOC-LEFT BETA* CASES CASES3 CASES4 DEDUCT DISJ-IMP DISJ-IMP-L DISJ-IMP-R ECONJ EDEF EGEN ENEG EQUIV-EQ EQUIV-EQ-CONTR EQUIV-EQ-CONTR* EQUIV-EQ-EXPD EQUIV-EQ-EXPD* EQUIV-IMPLICS EQUIV-WFFS ETA* EXT= EXT=0 HYP ICONJ IDEF IDISJ-LEFT IDISJ-RIGHT IMP-DISJ IMP-DISJ-L IMP-DISJ-R IMPLICS-EQUIV INDIRECT INDIRECT1 INDIRECT2 INEG LAMBDA* LCONTR* LCONTR*-BETA LCONTR*-ETA LEMMA LET LEXPD* LEXPD*-BETA LEXPD*-ETA MP PULLNEG PUSHNEG REWRITE-SUPP* REWRITE-SUPP1 RULEC RULEC1 SAME SIMPLIFY-PLAN SIMPLIFY-PLAN* SIMPLIFY-SUPP SIMPLIFY-SUPP* SUBST-EQUIV SUBST= SUBST=L SUBST=R SUBSTITUTE SYM= UGEN UI UNREWRITE-PLAN* UNREWRITE-PLAN1 USE-RRULES

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage