This is the "sigobj" directory for HOL. A collection of all signatures
and compiled code will be placed here when you build HOL.