HOL

HOL or Hol may refer to:

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, pre-1992 code for Netherlands at the Olympics

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)
• Hands On Learning Australia, a charity
• Hellas Online (hol), a Greek telephony and Internet service provider
• Holiday Airlines (US airline) (ICAO airline code HOL)
• Holu language, ISO 639 language hol
• Hol, the word for 'language' in Klingon
• Netherlands, ITU code

See also

• All pages with titles beginning with HOL
• All pages with titles containing HOL
• All pages with titles beginning with Hol
• Hol Church (disambiguation)
• HOI (disambiguation)
• Holl, a surname
• Netherlands, informally Holland