SHOW-BESTMODE : LIBRARYCMD

SHOW-BESTMODE is a library command.
List all of the current best modes for theorems in the library.
Shows mode name, date, time for proof, and whether the mode is read/write
(in your library) or read-only (in someone else's library).
 
The command format for SHOW-BESTMODE is:

<LIB>SHOW-BESTMODE THEOREM
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage