SUB=-TAC : TACTIC

SUB=-TAC is a tactic.
As defined for use NAT-DED:
(ORELSE SUBST=L-TAC SUBST=R-TAC)

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage