MEXPR : top-level command

Top Levels

Help

Collecting Help

Concept

Starting and Finishing

Printing

Saving Work

Saving Wffs

Printing Proofs into Files

Proof Outline

suggestions

Rearranging the Proof

Status

Miscellaneous Rules

Propositional Rules

Negation Rules

Quantifier Rules

Substitution Rules

Equality Rules

Definition Rules

Lambda Conversion Rules

RuleP

Events

Maintenance

Modules

Lisp packages



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage