They mined the walls. --Hayward.
Too lazy to cut down these immense trees, the
spoilers . . . had mined them, and placed a quantity
of gunpowder in the cavity. --Sir W.
Scott.
2. To dig into, for ore or metal.
Lead veins have been traced . . . but they have not
been mined. --Ure.
3. To get, as metals, out of the earth by digging.
The principal ore mined there is the bituminous
cinnabar. --Ure.