+ ===================================================================== +
| HOL DISTRIBUTION DIRECTORY: help					|
+ ===================================================================== +

This directory contains the source files for both the built-in help
facility and for the REFERENCE part of the manual.


