[A guide to this ftp directory is available on the World Wide Web at URL:
 http://www.cl.cam.ac.uk/Research/HVG/FTP/
]

This directory is devoted to automated reasoning and the verification of
hardware, software etc., particularly with respect to the HOL theorem prover.

Many files (with a ".gz" suffix) are compressed using gzip. In case you do not
have this on your system, sources and binaries for some architectures are
provided in the directory "gzip".

contrib             -- Current version of HOL user-contributions directory
gzip                -- Sources and binaries for "gzip" to unpack "*.gz" files
hol                 -- Sources and documentation for HOL system; miscellanea
hol2000-archive     -- Archive of the HOL2000 (future HOL) mailing list
hug94-supplementary -- Papers from HOL User Group 1994 poster session
info-hol-archive    -- Archive of the HOL users' mailing list
papers              -- Papers on HOL-related topics
pictures            -- Group photos from HOL User Group and other meetings.
qed-project-archive -- Archive of the embryonic QED project

Queries may be directed to: "hol-support@cl.cam.ac.uk".


Last updated 22nd June 1995.