Varanopidae
Ophiacodontidae
Edaphosauridae
Ianthodon
Haptodus_garnettensis
Cutleria
Pantelosaurus
Dinocephalia
Alrausuchus
Dimetrodon
Ctenospondylus
Sphenacodon