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