Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 8 | ||
.gitignore | H A D | 25-Jul-2019 | 2.2 KiB | |
.travis.yml | H A D | 08-Sep-2020 | 1.2 KiB | |
bin/ | H | 25-Jul-2019 | 6 | |
CONTRIBUTORS | H A D | 25-Jul-2019 | 1.1 KiB | |
COPYRIGHT | H A D | 01-Feb-2020 | 2.4 KiB | |
developers/ | H | 05-Nov-2020 | 38 | |
doc/ | H | 05-Nov-2020 | 20 | |
examples/ | H | 30-Nov-2020 | 68 | |
help/ | H | 25-Jul-2019 | 6 | |
INSTALL | H A D | 25-Jul-2019 | 7.4 KiB | |
Manual/ | H | 25-Jul-2019 | 18 | |
polyml/ | H | 30-Nov-2020 | 52 | |
README.md | H A D | 25-Jul-2019 | 826 | |
sigobj/ | H | 25-Jul-2019 | 3 | |
src/ | H | 25-Jul-2019 | 69 | |
std.prelude | H A D | 01-Feb-2020 | 7 KiB | |
tools/ | H | 07-Dec-2020 | 43 | |
tools-poly/ | H | 08-Sep-2020 | 17 |
README.md
1[![Build Status](https://travis-ci.org/HOL-Theorem-Prover/HOL.svg?branch=master)](https://travis-ci.org/HOL-Theorem-Prover/HOL) 2 3This is the distribution directory for the Kananaskis release of HOL4. 4See http://hol-theorem-prover.org for online resources. 5 6The following is a brief listing of what's available in the distribution. 7 8 INSTALL * Installation instructions 9 COPYRIGHT * Copyright notice 10 std.prelude * File loaded at the beginning of each HOL session 11 12 bin/ * Executables 13 doc/ * Some documentation, including release notes 14 examples/ * Some examples 15 help/ * Help support 16 src/ * The system sources 17 tools/ * Support for building the system 18 sigobj/ * Collection of all signatures and compiled code 19