What does HOL stand for?

What does HOL mean? We have 7 definitions. Read most used HOL meanings below.

ADVERTISEMENT