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