ETPS ONLINE DOCUMENTATION

BASIC FEATURES OF ETPS

• The Main Top-Level Commands.
• Natural Deduction Rules for constructing proofs.
• The Formula Editor.
• The Review Top Level.
• Flags and Modes.
• Theorems, Saved Wffs and Abbreviations.
• Type abbreviations and Type constants.
• Binders, Constants, Polymorphic Symbols and Replaceable Symbols.
• Other Top Levels.

ADVANCED FEATURES OF ETPS

Students using ETPS will probably not need any of the following:

• Wffops and Recursive Wffops.
• Argument Types.
• The Grader Top Level.
• Wff types.
• Packages, Modules and Files.
• Subjects, Contexts and Categories.
• Special characters for Concept, Scribe and TeX.
• Utilities and Information.
• Device Styles.
• Flavors.
• Printing Properties.
• Events.

TPS Manuals in Postscript form.

This page was automatically created by ETPS on Wednesday, May 17, 2000 at 19:01:39.

TPS homepage