coke : Idioms & Phrases


Gas carbon, Gas coke

  • etc. See under Carbon, Coke, etc.
Webster 1913

Gas coke

  • the coke formed in gas retorts, as distinguished from that made in ovens.
Webster 1913