EQUIV-WFFS-SLINE-TAC : TACTIC
EQUIV-WFFS-SLINE-TAC
is a tactic.
As defined for use
ETREE-NAT
: is a primitive tactic.
If a support
line
is a
rewrite
node
justified by
equiv-wffs
(instantiating
definitions), applies the appropriate
rule
.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage