GWFF0 : ARGTYPE

GWFF0 is an argument type.
A reference to a wff of type O.
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


© 1988-99, Carnegie Mellon University.

TPS homepage