Varanopseidae
Ophiacodontidae
Edaphosauridae
Haptodus
Palaeohatteria
Pantelosaurus
Cutleria
Dinocephalia
Biarmosuchus
Dimetrodon
Sphenacodon