Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 18 | ||
.gitignore | H A D | 25-Jul-2019 | 71 | |
binomial/ | H | 25-Jul-2019 | 4 | |
binomial-bib.tex | H A D | 25-Jul-2019 | 529 | |
binomial.tex | H A D | 25-Jul-2019 | 721 | |
combin.stex | H A D | 25-Jul-2019 | 42.6 KiB | |
euclid-extras.ML | H A D | 25-Jul-2019 | 1.2 KiB | |
euclid.stex | H A D | 25-Jul-2019 | 51.4 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 965 | |
intro.tex | H A D | 25-Jul-2019 | 11 KiB | |
logic.tex | H A D | 25-Jul-2019 | 53.8 KiB | |
ml.stex | H A D | 25-Jul-2019 | 9.1 KiB | |
more-examples.tex | H A D | 25-Jul-2019 | 2.9 KiB | |
parity.stex | H A D | 25-Jul-2019 | 20.9 KiB | |
preface.tex | H A D | 25-Jul-2019 | 3.8 KiB | |
proof-tools.stex | H A D | 25-Jul-2019 | 31 KiB | |
README | H A D | 25-Jul-2019 | 388 | |
references.tex | H A D | 25-Jul-2019 | 2.6 KiB | |
theories.tex | H A D | 25-Jul-2019 | 5.2 KiB | |
title.tex | H A D | 25-Jul-2019 | 1.1 KiB | |
tool.tex | H A D | 25-Jul-2019 | 40.4 KiB | |
tutorial.hva | H A D | 25-Jul-2019 | 899 | |
tutorial.tex | H A D | 25-Jul-2019 | 2.8 KiB | |
writinghol.stex | H A D | 25-Jul-2019 | 7.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