GETGWFFTYPE : wff reference format

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

TPS homepage