Editing Hol

{{Wiktionary|Hol|hol|hól}}
'''HOL''' or '''Hol''' may refer to:
{{toc right}}
==Places==
* [[Hol, Norway]], in Buskerud county
* [[Hol Municipality (Nordland)]], a former municipality in Norway
* [[Hol, Tjeldsund]], Norway
* [[Hol, Ludhiana]], Punjab, India

==Science and technology==
* [[HOL (proof assistant)]], a family of interactive theorem proving systems
* [[Head-of-line blocking]] in computer networking
* [[Higher-order logic]] in mathematics and logic
* [[Holonomy]], mathematical symbol Hol, in differential geometry

==Sports==
* [[Hol IL]], a sports club in Buskerud county, Norway
* [[Hollingworth Lake Rowing Club]], England, boat code HOL
* [[Holdsworth (cycling team)]], UCI code HOL
* [[HOL (IOC country code)]], 1968–1988 code for the Netherlands

==Transportation==
* [[Hol Station]], Hol Norway
* Hol station, on the [[Udhna–Jalgaon line]], India
* [[Hollywood station (Florida)]], U.S., station code HOL
* [[Holmesglen railway station]], Melbourne, Australia, station code HOL
* [[Holsworthy railway station, Sydney]], Australia, station code HOL
* [[Holton Heath railway station]], England, station code HOL

==Other uses==
* [[Hol (surname)]], including a list of people with the name
* [[Hol (role-playing game)|''Hol'' (role-playing game)]]
* [[Hands On Learning Australia]], a charity
* [[Hellas Online]] (hol), a Greek telephony and Internet service provider
* [[Holiday Airlines (US airline)]] (ICAO airline code <code>HOL</code>)
* [[Holu language]], ISO 639 language hol
* [[HOL (ITU letter code)]] for the Netherlands

==See also==
* {{srt|hol}}
* {{lookfrom|Hol}}
* [[Hol Church (disambiguation)]]
* [[HOI (disambiguation)]]
* [[Holl]], a surname

{{Disambiguation|geo}}