forked from HOL-Theorem-Prover/HOL
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
16 lines (13 loc) · 697 Bytes
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
This is the distribution directory for the Kananaskis release of HOL4.
See http://hol-theorem-prover.org 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