HOL Meaning of HOL in English ( a. ) Whole. Webster's Revised Unabridged English Dictionary. Пересмотренный полный словарь английского языка Webster. 2012