FLAG : flag or parameter

Top Levels

Style

Review

Modes

Help

Starting and Finishing

OTL Object

Printing

Printing

Internal for Printing

TeX

X Windows

Weak Labels

Flavors of Labels

Saving Work

Recording

Printing Proofs into Files

Proof Outline

Expansion Trees

Mtree Operations

Mtree Auto

Mating search

MS88 search procedure

MS89 search procedure

MS90-3 search procedure

MS91-6 and MS91-7 search procedures

MS98-1 search procedure

Proof Translation

Unification

Tactics

suggestions

Searchlists

Vpforms

Wff Editor

wff Primitives

Wff Parsing

Basic Abbreviations

Lambda-Calculus

Primitive Substitutions

Miscellaneous

RuleP

Skolemizing

Quantifiers

Auxiliary

Events

Grader

Maintenance

Rules object

Unclassified

Library

Bugs



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage