Varanopseidae

Ophiacodontidae

Edaphosauridae

Haptodus

Palaeohatteria

Ianthodon

Pantelosaurus

Cutleria

Dinocephalia

Biarmosuchus

Dimetrodon

Sphenacodon