HoL (sometimes written as "HōL") is a Role Playing Game created by the Dirt Merchant Games and produced by Black Dog Game Factory (a subsidiary of White Wolf for the production of adult oriented RPGs). The HoL Core Rulebook was published in 1994, and was followed up by one other supplement Buttery Wholesomeness in 1995. Although Hol is playable, the concept behind it is pretty much a joke.

(Khmer). See ikat.

Home Office Location. An ARC-approved agency location which has absolute ownership of one or more branch locations and/or STPs. See Section 80 of the IAH for further details.

ds: A hold indicates that a student has an unmet academic, admission, administrative, or financial obligation to the University. The Office of the Registrar mails hold notices to continuing students before enrollment begins. Hold notices list each area placing a hold. Students must get a release from the office initiating the hold before they can enroll in classes.

Higher Order Logic (1) A logical system, usually a Type Theory, with multiple ranges of quantification (usually called types) some of which contain sets or functions. See also: Church's Simple Theory of Types, Pure Type System Higher Order Logic (2) A proof tool, originally developed by the Hardware Verification Group at The University of Cambridge Computer Laboratories. Now available as several variants (HOL88, HOL90, HOL98, HOL Light), supporting the construction and checking of proofs in Higher Order Logic. There are also many more proof tools for variants of Higher Order Logic or for logical Type Theories which do not go under the name "HOL". There is an annual international workshop concerned with the development and application of these proof tools. hyper-rational An exacting standard of rationality based on the assertion only of formally proven analytic propositions.

Head of Line. Packets are queued. Packets at the head of the queue are forwarded before packets at the end of the line.

Whole.

Hollywood Online

Health Observation Language

Holland