
  which - look for a file called name
     _________________________________________________________________
   
   which [-h] <file_name>
   
   Looks for a file in a set of directories which includes the current
   directory as well as those in the NuSMV path. If it finds it, it
   reports the path. The path is specified through the "set open_path"
   command in the .nusmvrc.
   
   Command options:
   
   <file_name>
          File to be searched
     _________________________________________________________________
   
   Last updated on 990119 20h08
