To dig away, or otherwise remove, the substratum or foundation of; to lay a mine under; to sap; to undermine; hence, to ruin or destroy by slow degrees or secret means. "They mined the walls." "Too lazy to cut down these immense trees, the spoilers... had mined them, and placed a quantity of gunpowder in the cavity."