FINDPROOF : MEXPR

FINDPROOF is a top-level command.
Searches your home directory and the directories listed in
SOURCE-PATH, looking for a proof whose name contains the given string.
The command format for FINDPROOF is:

 <n>FINDPROOF   NAME 
"STRING"


The arguments have the following meaning:
NAME : Name to search for

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage