WFFOP-TYPE : GETGWFFTYPE

WFFOP-TYPE is a wff reference format.
wffop arg ... arg : A wff operation applied to arguments.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage