FIND-MODE : REVIEWCMD

FIND-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:

 <Rn>FIND-MODE    THM 
"SYMBOL"


The arguments have the following meaning:
THM : Theorem

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage