INFO : flag setting or other piece of information

Top Levels

Collecting Help

Printing

Proof Outline

Expansion Trees

NIL

Mtree Operations

Mtree Auto

Mating search

MS88 search procedure

MS89 search procedure

MS91-6 and MS91-7 search procedures

Unification

Tactics

suggestions

Searchlists

wff Primitives

Basic Abbreviations

Lambda-Calculus

Primitive Substitutions

Maintenance



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage