What Does it Stand For?

A database of acronyms

What Does HOL Stand For?

HOL has more than one possible meaning...

If you know of another acronym for HOL then please suggest it as a new acronym for HOL.