The Collaborative International Dictionary

Hol

Hol \Hol\, a. [See Whole.]
Whole. [Obs.] --Chaucer.

Wikipedia

Hol

Hol is a municipality in Buskerud county, Norway.

HOL (proof assistant)

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language. This library implements an abstract data type of proven theorems so that new objects of this type can only be created using the functions in the library which correspond to inference rules in higher-order logic. As long as these functions are correctly implemented, all theorems proven in the system must be valid. In this way, a large system can be built on top of a small trusted kernel.

Systems in the HOL family use the ML programming language or its successors. ML was originally developed along with LCF to serve the purpose of a meta-language for theorem proving systems; in fact, the name stands for "Meta-Language".

Hol (role-playing game)

HoL (sometimes written as "HōL") is a role-playing game created by Dirt Merchant Games and produced by Black Dog Game Factory, a subsidiary of White Wolf which produced 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, it was meant as a satire of RPGs. The pages of the books are written by hand, and the authors freely take stabs at other popular role-playing games, particularly Vampire: The Masquerade and Dungeons & Dragons, and those who play them.

In the face of a mounting body of evidence Holmer, discredited, was replaced by an attorney-general who refused, consistently, to give hearing to any statement that threatened to contradict the official line: all enquiry would be secret, and conducted by the secret police, the Sapo known for detestation of all that Palme stood for.

In many cases, a more Anglicized transliteration is used instead of the tlhIngan Hol transliterations preferred by linguists (e.

It pleased him that he had to revise his estimates at the total youth aboard the ship as evidenced by Davison and Hol.

Damiks grammar school certificate, from the Holmer Foster Gymnas Cooperative.

The word-of-mouth publicity was so good that Snotty was able to demand cash with reservation, and even so his booking sheet was full as far ahead as the beginning of the hols and half the fellows were saving so frantically to try and come up with two pounds that sales at the school tuck shop fell off dramatically.