CURRENT-EPROOF-TYPE : GETGWFFTYPE

CURRENT-EPROOF-TYPE is a wff reference format.
current-eproof : The mating-search name for the eproof being worked on.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage