SYM=-TAC : TACTIC
SYM=-TAC
is a tactic.
As defined for use
NAT-DED
: is a primitive tactic.
Applies symmetry of equality if planned
line
follows by that
rule
from
some support
line
.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage