| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 8 | ||
| .gitignore | H A D | 25-Jul-2019 | 2.2 KiB | |
| .travis.yml | H A D | 25-Jul-2019 | 1,022 | |
| bin/ | H | 25-Jul-2019 | 6 | |
| CONTRIBUTORS | H A D | 25-Jul-2019 | 593 | |
| COPYRIGHT | H A D | 25-Jul-2019 | 1.9 KiB | |
| developers/ | H | 25-Jul-2019 | 37 | |
| doc/ | H | 25-Jul-2019 | 18 | |
| examples/ | H | 25-Jul-2019 | 58 | |
| help/ | H | 25-Jul-2019 | 6 | |
| INSTALL | H A D | 25-Jul-2019 | 7.4 KiB | |
| Manual/ | H | 25-Jul-2019 | 18 | |
| polyml/ | H | 25-Jul-2019 | 52 | |
| README.md | H A D | 25-Jul-2019 | 826 | |
| sigobj/ | H | 25-Jul-2019 | 3 | |
| src/ | H | 25-Jul-2019 | 70 | |
| std.prelude | H A D | 25-Jul-2019 | 6.7 KiB | |
| tools/ | H | 25-Jul-2019 | 39 | |
| tools-poly/ | H | 25-Jul-2019 | 16 |
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
