PVS Version 3.1 is now available. This mostly fixes bugs reported in version 3.0. See the release notes at http://pvs.csl.sri.com/pvs-release-notes.html for details and download instructions. Enjoy! Sam Owre <Owre@csl.sri.com> Computer Science Lab, SRI International Tel: (650) 859-5114 333 Ravenswood Avenue FAX: (650) 859-2844 Menlo Park, CA 94025 USA WWW: http://www.csl.sri.com/~owre