DEFAULT-TACTIC is a flag or parameter.
The default tactic for ETREE-NAT and USE-TACTIC.
See the help messages for these commands for more information.
DEFAULT-TACTIC takes values of type TACTIC-EXP.
It belongs to subjects TACTICS .
Its default value is (IDTAC)
Its current value is COMPLETE-TRANSFORM-TAC.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage