+ ===================================================================== +
| HOL DISTRIBUTION DIRECTORY: Manual					|
+ ===================================================================== +

This directory contains the HOL manual. The contents are:

SUB-DIRECTORY    DESCRIPTION
-------------------------------------------------------------------------

Description	 : LaTeX source files for the manual volume containing
		   a systematic description of the HOL system

Tutorial	 : LaTeX sources for the HOL tutorial and case studies  

Reference	 : LaTeX sources for the HOL reference manual.

Interaction      : LaTeX sources for a guide to HOL interaction and 
                   basic proofs (intended for complete beginners).

LaTeX	 	 : layout files and LaTeX macros for the manual.

Makefile	 : makefile for the manual

bin		 : sed and shell scripts needed to build the manual

Guide		 : style manual for writing HOL documentation.  

Quick    	 : LaTeX source for a HOL quick reference sheet.