The following files and directories make up PVS:
 Files:
  README           - this file
  pvs              - the shell script for invoking pvs
  pvs.sty	   - the style file supporting LaTeX output
  pvs-tex.sub      - the default substitution file for generating LaTeX

 Directories:
  Examples - some simple example specifications
  emacs    - Emacs files.
  wish     - Tcl/Tk files
  bin      - shell scripts and executables
  lib      - prelude, help files, and libraries