Glossary of Mining Terms : Glossary of Mining Terms ... or other materials. Among the various types of crushers are the ball mill, gyratory crusher, Handsel mill, hammer mill, jaw crusher, rod mill, rolls, stamp mill, and tube mill. ... Shallow coal mines working under townships, reservoirs, etc., may extract 50%, or less, of the entire seam ...