1This is the "bin" directory for HOL. A collection of executable files (hol, 2Holmake, etc.) will be placed here when you build HOL. 3