Jadding

Jad"ding (?), n. (Mining) See Holing.