“ The Laramie rocks comprise sandstones, conglomerates, and clays, with a thickness of several thousand feet, outcropping along the eastern border of the Rocky Mountains from Mexico northward across the United States into Canada. The formation is of great economical importance, owing to the included deposits of coal. Much of the coal mined in Colorado, Wyoming, Montana, and New Mexico is of Laramie age. ”