Ostodolepids

Pelodosotis is an extinct microsaurian tetrapod.

Ostodolepidae, also spelled Ostodolepididae, is an extinct family of Early Permian tetrapods. Initially they were considered microsaurs, but later were assigned to the group Recumbirostra. Ostodolepids were relatively large, reaching lengths of up to , terrestrial, and presumably fossorial. Ostodolepid remains have been found from Early Permian beds in Texas, Oklahoma, and Germany.