GWFF0-OR-LABEL-OR-EPROOF is an argument type.
Either a gwff of type O, CURRENT-EPROOF, LAST-EPROOF, an eproof,
or a symbol which names an eproof. If it is a symbol representing a gwff,
getfn returns the symbol instead of the gwff. Checking type gwff0-or-label
for more details.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage