SHOW-BESTMODE : LIBRARYCMDSHOW-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:
TPS documentation homepage