FIND-MODE : REVIEWCMDFIND-MODE is a review command.
Find a mode from bestmodes.rec for the given theorem,
and (after prompting the user) switch to the selected mode.
This will search all of the bestmodes.rec files which occur
in any of the directories in DEFAULT-LIB-DIR and BACKUP-LIB-DIR.
The command format for FIND-MODE is:
The arguments have the following meaning:
THM : Theorem
TPS documentation homepage