Source : Webster's Revised Unabridged Dictionary (1913)

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