WFFOP : wff operation

OTL Object

Printing

Printing

Internal for Printing

Weak Labels

Saving Wffs

Recording

Vpforms

wff Primitives

Equality between Wffs

Predicates on Wffs

Moving Commands

Changing Commands

Recursively Changing Commands

Substitution

Basic Abbreviations

Lambda-Calculus

Negation movers

Miscellaneous

RuleP

Quantifier Commands

Wellformedness



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage