What does HOL stand for?

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

ADVERTISEMENT