LAST-EPROOF-TYPE : GETGWFFTYPE

LAST-EPROOF-TYPE is a wff reference format.
last-eproof : The name for the last expansion proof when outside mating search.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage