CHECK-STRUCTURE : MEXPR

CHECK-STRUCTURE is a top-level command.
Check various structural properties of the current proof.
You will be informed about suspect constellations in the incomplete proof
which may make it difficult for ETPS to provide advice or for you to
finish the proof.
The command format for CHECK-STRUCTURE is:

 <n>CHECK-STRUCTURE 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage