HOL Meaning of HOL in English (a.) Whole. Webster's English dictionary. Английский словарь Webster. 2012