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