MATH-LOGIC-2-MODE : FLAG-MODE

MATH-LOGIC-2-MODE is a mode.
Mode to be used for Math Logic II.
Flags are set as follows:
Flag Value in Mode Current Value
FIRST-ORDER-MODE-PARSE NIL NIL
TYPE-IOTA-MODE T T
FIRST-ORDER-PRINT-MODE NIL NIL
PRINTTYPES T T
TREAT-HLINES-AS-DLINES T T
DEFAULT-WFFEQ WFFEQ-AB WFFEQ-AB

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage