VARY is a flag setting or other piece of information.
A flag setting for TURNSTILE-INDENT-AUTO.
Print the turnstile one space after the hypotheses in each line, so
the turnstiles will not all line up in one column in the final proof.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage