GWFF : ARGTYPE

GWFF is an argument type.
A reference to a wff.
Currently any of:
Weak Labels: WEAK-TYPE
Flavors of Labels: FLAVOR-TYPE
Proof Outline: LINE-NUMBER
Expansion Trees: ETREES-LABELS
Mating search: CURRENT-EPROOF-TYPE LAST-EPROOF-TYPE
Vpforms: JFORMS-LABELS
Theorems: THEOREM-TYPE
Wff Editor: EDIT-WFF EDWFF-TYPE LAST-EDWFF-TYPE
Wff Parsing: STRING-BOUND-VAR STRING-TYPE
Wff Types: WFFOP-TYPE

TPS documentation homepage


GWFF : LIBOBJECT

GWFF is a library object.
Gwff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage