IDISJ-RIGHT-TAC is a tactic.
As defined for use ETREE-NAT: is a primitive tactic.
If the planned line corresponds to a disjunction and the left disjunct
is inessential, infers the planned line from the right disjunct by RuleP.
Same as Pfenning's tactic 189.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage