README
1+ ===================================================================== +
2| HOL DISTRIBUTION DIRECTORY: Manual |
3+ ===================================================================== +
4
5This directory contains the HOL manual. The contents are:
6
7SUB-DIRECTORY DESCRIPTION
8-------------------------------------------------------------------------
9
10Description : LaTeX source files for the manual volume containing
11 a systematic description of the HOL system
12
13Tutorial : LaTeX sources for the HOL tutorial and case studies
14
15Reference : LaTeX sources for the HOL reference manual.
16
17Interaction : LaTeX sources for a guide to HOL interaction and
18 basic proofs (intended for complete beginners).
19
20LaTeX : layout files and LaTeX macros for the manual.
21
22Makefile : makefile for the manual
23
24bin : sed and shell scripts needed to build the manual
25
26Guide : style manual for writing HOL documentation.
27
28Quick : LaTeX source for a HOL quick reference sheet.
29