The Collaborative International Dictionary of English v.0.48:

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]