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