+ ===================================================================== +
| HOL DISTRIBUTION DIRECTORY: Reference					|
+ ===================================================================== +



This directory contains the LaTeX source for the HOL reference manual. 