GETGWFFTYPE : wff reference format

Weak Labels

Flavors of Labels

Proof Outline

Expansion Trees

Mating search

Vpforms

Theorems

Wff Editor

Wff Parsing

Wff Types



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage