Ostodolepidae

Ostodolepidae is an extinct family of tuditanomorph microsaurs. They are unique among microsaurs in that they were large, reaching lengths of up to 2 feet (61 cm), terrestrial, and presumably fossorial. Ostodolepid remains have been found from Early Permian beds in Texas and Oklahoma.