FLAVOR-TYPE : GETGWFFTYPE

FLAVOR-TYPE is a wff reference format.
label : a label for a wff.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage