An obsolete term for a quarry, an open or surface mineral working, usually for the extraction of building stone, as slate, limestone, etc.