MATE-SRCH : INFO

MATE-SRCH is a flag setting or other piece of information.
A flag setting for TACUSE.
Unused setting. Eventually, copy and save eproofs with this tactic use.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage