WEAK-TYPE : GETGWFFTYPE

WEAK-TYPE is a wff reference format.
weak label : the wff represented by a weak label.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage