ADVICE : MEXPR

ADVICE is a top-level command.
Give some advice on how to proceed with the current proof.
The command format for ADVICE is:

 <n>ADVICE 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage