TPS-MODE : ARGTYPE

TPS-MODE is an argument type.
A TPS mode in REVIEW. If it is not loaded, search for it in library.
Currently any of:
Collecting Help: SCRIBE-DOC SCRIBE-DOC-FIRST-ORDER
OTL Object: RULES SCRIBE-OTL TEX-1-OTL TEX-OTL
Printing: RE-READ
Recording: SCRIBE-EDWFF SCRIBE-MATEWFF
Expansion Trees: NAIVE
MS91-6 and MS91-7 search procedures: MS91-DEEP MS91-NODUPS MS91-ORIGINAL MS91-SIMPLEST
wff Primitives: FIRST-ORDER HIGHER-ORDER
Maintenance: QUIET
Unclassified: MATH-LOGIC-2-MODE ML MSV-OFF MSV-ON

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage