EDOP : editor command

Top Levels

Printing

Weak Labels

Saving Wffs

Recording

Vpforms

Moving Commands

Changing Commands

Recursively Changing Commands

Embedding Commands

Substitution

Basic Abbreviations

Lambda-Calculus

Negation movers

Miscellaneous

RuleP

Quantifier Commands

Wellformedness



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage