ML : FLAG-MODE

ML is a mode.
Puts parser and printer into higher-order mode for
Lisp package ML.
Flags are set as follows:
Flag Value in Mode Current Value
FIRST-ORDER-MODE-PARSE NIL NIL
FIRST-ORDER-PRINT-MODE NIL NIL
TYPE-IOTA-MODE T T
BASE-TYPE I I
PRINTTYPES T T

TPS documentation homepage


ML : LISP-PACK

ML is a Lisp package.
The Math Logic I & II logic.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage