MEXPR : top-level command

Top Levels

Help

Collecting Help

Concept

Starting and Finishing

Printing

Saving Work

Saving Wffs

Printing Proofs into Files

Proof Outline

Search Suggestions

Mating search

MS91-6 and MS91-7 search procedures

Proof Translation

Unification

Tactics

suggestions

Vpforms

Rearranging the Proof

Status

Miscellaneous Rules

Propositional Rules

Negation Rules

Quantifier Rules

Substitution Rules

Equality Rules

Definition Rules

Lambda Conversion Rules

Rewriting commands

RuleP

Events

Statistics

Maintenance

Modules

Rules Module

Lisp packages

Display

Best modes

Bugs



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage