The Arroyo Formation, sometimes termed the Lower Clear Fork Formation, is a geologic formation in Texas. It preserves fossils dating back to the Kungurian stage of the Permian period. It is the lower-most portion of the Clear Fork Group, part of a series of fossiliferous Permian strata in the south-central United States known as the red beds.
A skeleton of Dimetrodon grandis found at the Craddock bonebed on display at the National Museum of Natural History