ARGTYPE : argument type

Review

Flags

Help

Collecting Help

Starting and Finishing

Printing

Printing

Saving Wffs

Proof Outline

Expansion Trees

Mtree Printing

Mating search

Unification

Tactics

suggestions

Searchlists

Vpforms

Theorems

Wff Editor

Wff Types

Rewriting commands

Substitution

Basic Abbreviations

RuleP

Skolemizing

Grader

Maintenance

Basics

Modules

Rules Module

Lisp packages

Library

Best modes



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage