Hypertext Webster Gateway: "Holing"
From Webster's Revised Unabridged Dictionary (1913) (web1913)
Holing \Hol"ing\, n. [See {Hole} a hollow.] (Mining)
Undercutting in a bed of coal, in order to bring down the
upper mass. --Raymond.
Additional Hypertext Webster Gateway Lookup
Gateway by dict@stokkie.net
stock only wrote the gateway and does not have any control over the contents;
see the Webster Gateway FAQ,
and also the Back-end/database links and credits.