GWFF0-OR-EPROOF : ARGTYPE

GWFF0-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.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage