WFFREC% : recursive wff function

Top Levels

OTL Object

Printing

wff Primitives

Equality between Wffs

Predicates on Wffs

Moving Commands

Substitution

Basic Abbreviations

Lambda-Calculus

Quantifier Commands



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage