This is the distribution directory for the Athabasca release of HOL98.

* Installation instructions can be found in install.txt. 

* A brief overview of the system can be found in doc/man.ps. 

* The system sources are found in the src directory. 

* Some examples can be found in the examples directory.

* The tools directory provides various shell scripts used to build the 
  system.

* The sigobj directory contains symbolic links to all the signatures and 
  code in the system.

* The file std.prelude is automatically loaded at the beginning of each 
  Hol98 session. 

* The Makefile can be used to build the Hol98 system.

* The help directory contains various tools that help build the Hol98 
  help system, as well as the ".doc" files used by the help system.
