FLAG-MODE : mode

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

TPS homepage