EDOP : editor command

Top Levels

Printing

Weak Labels

Saving Wffs

Recording

Vpforms

Moving Commands

Changing Commands

Recursively Changing Commands

Embedding Commands

Rewriting commands

Substitution

Basic Abbreviations

Lambda-Calculus

Negation movers

Primitive Substitutions

Miscellaneous

RuleP

Skolemizing

Quantifier Commands

Wellformedness



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage