Quarry
a place where stones are removed from the earth. The word has reference to squaring, or a place where stones are squared. A pit from which coal or a metal is taken is called, by way of distinction, a mine. See Marble; Limestone; Granite; Pyramid; Obelisk
Volume IV · Aiton’s Encyclopedia