GATEWAY COAL CO. v. MINE WORKERS

No. 72-782.