| 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[](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
