NameDateSize

..08-Sep-202021

.gitignoreH A D25-Jul-20196

Description/H22-Oct-202031

Developers/H22-Oct-20206

Guide/H25-Jul-20195

Interaction/H01-Mar-20205

LaTeX/H01-Mar-202010

Logic/H25-Jul-20198

Logo/H25-Jul-20194

MakefileH A D25-Jul-20191.3 KiB

Proofstyle/H25-Jul-20193

Quick/H25-Jul-20195

READMEH A D25-Jul-20191,002

Reference/H21-Apr-20209

Tools/H22-Oct-20209

Translations/H25-Jul-20193

Tutorial/H03-Sep-201925

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