What is the wedging, as of a horse or car, against the top of an underground passage. Raymond called?

roofing — (Mining) The wedging, as of a horse or car, against the top of an underground passage. Raymond. (Webster's 1913.)

Sources