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