SUPERCLASS: AMNIOTA HAECKEL, 1866

CLASS: AMPHIBIA LINNAEUS, 1758

SUBCLASS: LABYRINTHODONTIA OWEN, 1860

SUPERORDER: TEMNOSPONDYLIA ZITTEL, 1887

MICROORDER: EUSKELIA YATES & WARREN, 2000

ORDER: EYROPODIA

Superfamily: ERYOPOIDEA Cope, 1882 (sensu Save-Soderbrergh, 1935)

Family: ERYOPIDAE Cope 1882

Eryops megacephalus
= *Eryops willistoni

MICROORDER: LIMNARCHIA YATES & WARREN, 2000

ORDER: DVINOSAURIA YATES & WARREN, 2000

INFRAORDER: TRIMERORHACHOIDA ROMER, 1947

Superfamily: TRIMERORHACHOIDEA Cope, 1882 (sensu Romer, 1947)

Family: TRIMERORHACHIDAE Cope, 1882

Trimerorhachis insignis

NEOTETRAPODA

SUBCLASS: REPTILIOMORPHA SAVE-SODERBERGH, 1934

ORDER: ANTHRACOSAURIA WATSON, 1917

SUBORDER: ANTHRACOSAURIA SAVE-SODERBRGH, 1934

Family: CRICOTIDAE Cope, 1884

Archeria crassidiscus
= Archeria victori

SUBCLASS: LEPOSPONDYLI ZITTEL, 1888

ORDER: NECTRIDEA MIALL, 1875

Family: DIPLOCAULIDAE Cope, 1881

Diplocaulus magnicornis

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: PARAREPTILIA OLSON 1947

INFRACLASS: SAUROPSIDA HUXLEY, 1864

SUPERORDER: EUREPTILIA OLSON, 1947

ORDER: CAPTORHINOMORPHA WATSON, 1917

SUBORDER: CAPTORHINOMORPHA WATSON, 1917

Family: CAPTORHINIDAE Case, 1911

Subfamily: CAPTORHININAE Case, 1911 (sensu De Ricqles, et AL 1982)

Eocaptorhinus laticeps
= Pariothynchus laticeps

*Labidosaurus oklahomensis

SUBCLASS: SYNAPSIDA OSBORN, 1903

ORDER: PELYCOSAURIA COPE, 1878

SUBORDER: EUPELYCOSAURIA KEMP, 1982

INFRAORDER: EDAPHOSAURA NOVA

Family: EDAPHOSAURIDAE Cope, 1882

Edaphosaurus cruciger
= Dimetrodon cruciger
= Naosaurus cruciger

INFRAORDER: DIMETRODONTOMORPHA emend NOPCSA, 1925

Family: SPHENACODONTIDAE Marsh, 1878

Subfamily: SPHENACODONTINAE Marsh, 1878 (sensu Nopcsa, 1925)

Tribe: DIMETERODONTINI Nopcsa, 1925

Dimetrodon limbatus
= Clepsydrops limbatus