\Hol"ing\, n. [See {Hole} a hollow.] (Mining)
Undercutting in a bed of coal, in order to bring down the
upper mass. --Raymond.