IMPORTANT : REVIEW-SUBJECT

IMPORTANT is a subject.
The crucial flags that need to be set for automatic proofs.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage