ABBR-LIST : WFFOP

ABBR-LIST is a wff operation.
Lists all the abbreviations used in a gwff.
 
The calling scheme for ABBR-LIST is:

(ABBR-LIST GWFF)
"GWFF"


The result is of type SYMBOLLIST.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage