Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

17 lines (13 sloc) 0.694 kB
This is the distribution directory for the Kananaskis release of HOL4.
See for online resources.
The following is a brief listing of what's available in the distribution.
INSTALL * Installation instructions
COPYRIGHT * Copyright notice
std.prelude * File loaded at the beginning of each HOL session
bin/ * Executables
doc/ * Some documentation, including release notes
examples/ * Some examples
help/ * Help support
src/ * The system sources
tools/ * Support for building the system
sigobj/ * Collection of all signatures and compiled code
Jump to Line
Something went wrong with that request. Please try again.