TPS ONLINE DOCUMENTATION

The Main Top-Level Commands.
Natural Deduction Rules.
Tactics and Tacticals.
The Matings Top Level.
The Unification Top Level.
The Test Top Level.
The Matingstree Top Level.
The Formula Editor.
The Library.
The Review Top Level.
Flags and Modes.
Wffops and Recursive Wffops.
Argument Types.
The Grader Top Level.
Theorems, Saved Wffs and Abbreviations.
Type abbreviations and Type constants.
Binders, Constants, Polymorphic Symbols and Replaceable Symbols.
Wff types and Library object types.
Packages, Modules and Files.
Subjects, Contexts and Categories.
Special characters for Concept, Scribe and TeX.
Utilities and Information.
Other Top Levels.
Device Styles.
Flavors.
Printing Properties.
Monitor Functions.
Settings for Order-Components.
Events.

TPS Manuals in Postscript form.

© 1988-99, Carnegie Mellon University.

This page was automatically created by TPS on Wednesday, January 19, 2000 at 17:25:22.