1555 R. Eden tr. Peter Martyr of Angleria i. x. f. 49v All maner of dygginge or myninge tooles.
1872 ‘M. Twain’ xxvii. 198 We put eighteen hundred pounds of provisions and mining tools in the wagon.
1989 (Nexis) 4 June i. 66 The miner paid for rent, water, electricity... He even paid for the sharpening of his mining tools.