Definition of rock mine in English:

rock mine

noun

  • A mine worked for rock of some kind, or excavated in massive rock; (English regional) †a salt mine (obsolete).

Origin

Mid 17th century; earliest use found in Gerard Boate (1604–1650), physician and natural historian.