A mine in which coal is worked or dug, a coal-pit or colliery.
1613. Lanc. & Chesh. Wills (1884), 159. The yssues … of one Cole myne.
1853. W. Gregory, Inorg. Chem., 156. The frightful accidents … so common in coal-mines.
So Coal-miner, Coal-mining.
1639. R. Junius (Younge), Sinne Stigmatizd, § 71. 295. Like … Coleminers … when the candles burning blew, tells the dampe commeth.
1854. Encycl. Brit., VII. 123/1. The uninitiated in coal mining.
1880. All Y. Round, No. 55. 102. Coal-miners are under inspection.
1887. Times (weekly ed.), 30 Sept., 13/4. The extent of the coal-mining industry in Great Britain.
