FIX : INFO

FIX is a flag setting or other piece of information.
A flag setting for TURNSTILE-INDENT-AUTO.
When printing a proof, fixes the turnstiles in the column given by
TURNSTILE-INDENT (so they'll all line up with one another).
Lines with large numbers of hypotheses will push the turnstile onto the
following line.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage