Files
Latest commit
This branch is 2855 commits behind HOL-Theorem-Prover/HOL:master.
bin
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This is the "bin" directory for HOL. A collection of executable files (hol, Holmake, etc.) will be placed here when you build HOL.