Quarry, n.

A place, cavern or pit where stones are dug from the earth, or separated from a large mass of rocks. We generally apply the word mine to the pit from which are taken metals and coal; from quarries are taken stones for building, as marble, freestone, slate, &c. In Paris, the quarries are a vast cavern under the city, several miles in extent.