NameDateSize

..25-Jul-201918

.gitignoreH A D25-Jul-201971

binomial/H25-Jul-20194

binomial-bib.texH A D25-Jul-2019529

binomial.texH A D25-Jul-2019721

combin.stexH A D25-Jul-201942.6 KiB

euclid-extras.MLH A D25-Jul-20191.2 KiB

euclid.stexH A D25-Jul-201951.4 KiB

HolmakefileH A D25-Jul-2019965

intro.texH A D25-Jul-201911 KiB

logic.texH A D25-Jul-201953.8 KiB

ml.stexH A D25-Jul-20199.1 KiB

more-examples.texH A D25-Jul-20192.9 KiB

parity.stexH A D25-Jul-201920.9 KiB

preface.texH A D25-Jul-20193.8 KiB

proof-tools.stexH A D25-Jul-201931 KiB

READMEH A D25-Jul-2019388

references.texH A D25-Jul-20192.6 KiB

theories.texH A D25-Jul-20195.2 KiB

title.texH A D25-Jul-20191.1 KiB

tool.texH A D25-Jul-201940.4 KiB

tutorial.hvaH A D25-Jul-2019899

tutorial.texH A D25-Jul-20192.8 KiB

writinghol.stexH A D25-Jul-20197.7 KiB

README

1+ ===================================================================== +
2| HOL DISTRIBUTION DIRECTORY: Tutorial	(second edition)                |
3+ ===================================================================== +
4
5
6This directory contains the LaTeX source for the HOL tutorial.  The
7directory
8
9   hol/Training/studies 
10
11contains the case studies that were in the first edition.
12
13
14