LIB-BESTMODE-FILE : FLAG

LIB-BESTMODE-FILE is a flag or parameter.
Name of the file containing best modes for the theorems in the library.
LIB-BESTMODE-FILE takes values of type FILESPEC.
It belongs to subjects LIBRARY .
Its default value is "bestmodes.rec"
Its current value is "bestmodes.rec".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage