Webster's Revised Unabridged Dictionary · 1913

Holing

Holing , noun

[See Hole a hollow.]

(Mining) Undercutting in a bed of coal, in order to bring down the upper mass. — Raymond