FLAG-MODE : mode

OTL Object

• rules
• scribe-otl
• tex-1-otl
• tex-otl

Printing

• re-read

Recording

• scribe-edwff

wff Primitives

• first-order
• higher-order

Maintenance

• quiet

Unclassified

• math-logic-2-mode
• ml

ETPS documentation homepage

TPS homepage