Many of the files in the HVG area are compressed using "gzip".

In case your system lacks "gzip", this directory contains the sources from the
GNU archive. Please see the licence enclosed. Binaries are also provided for
the following architectures: sun3, sun4, mips and alpha. If you want binaries
for another architecture and have problems building the sources, please mail
"hol-support@cl.cam.ac.uk".

When the binary "gzip" is installed wherever you want it to go, you can simply
create links from "gunzip" and "gzcat" (or "zcat" to override the existing
"zcat") to "gzip". Then "gzip" will automatically use the options to decompress
to a file or stdout respectively, by looking at the name under which it was
invoked. Alternatively you can use "gzip" and give it those options explicitly
-- see the MANPAGES also included in this directory.

John Harrison, 16th March 1994.