WFFOP : wff operation

OTL Object

Printing

Printing

Internal for Printing

Weak Labels

Saving Wffs

Recording

Expansion Trees

Mtree Operations

Mtree Printing

Mtree Auto

Mating search

MS88 search procedure

Vpforms

wff Primitives

Equality between Wffs

Predicates on Wffs

Moving Commands

Changing Commands

Recursively Changing Commands

Rewriting commands

Substitution

Basic Abbreviations

Lambda-Calculus

Negation movers

Primitive Substitutions

Miscellaneous

RuleP

Skolemizing

Quantifier Commands

Wellformedness

Statistics



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage