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 sp

NEOTETRAPODA

SUBCLASS: REPTILIOMORPHA SAVE-SODERBERGH, 1934

ORDER: ANTHRACOSAURIA WATSON, 1917

SUBORDER: ANTHRACOSAURIA SAVE-SODERBRGH, 1934

Family: CRICOTIDAE Cope, 1884

Archeria sp

SUBCLASS: LEPOSPONDYLI ZITTEL, 1888

ORDER: NECTRIDEA MIALL, 1875

Family: UROCORDYLIDAE Lydekker, 1889

Subfamily: SAUROPLEURINAE Carroll, 1978

Crossotelus annulatus

Family: DIPLOCAULIDAE Cope, 1881

Diplocaulus magnicornis

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: PARAREPTILIA OLSON 1947

INFRACLASS: SAUROPSIDA HUXLEY, 1864

ORDER: COTYLOSAURIA COPE, 1880

SUBORDER: DIADECTOMORPHA Watson, 1917

Family: DIADECTIDAE Cope, 1880

Diadectes sp

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)

Captorhinus aguti

Labidosaurus hamatus

SUBCLASS: SYNAPSIDA OSBORN, 1903

ORDER: PELYCOSAURIA COPE, 1878

SUBORDER: EUPELYCOSAURIA KEMP, 1982

INFRAORDER: OPHIACHODONTIA NOVA

Family: OPHIACODONTIDAE Nopsca, 1923

Varanosaurus acutirostris

INFRAORDER: DIMETRODONTOMORPHA emend NOPCSA, 1925

Family: SPHENACODONTIDAE Marsh, 1878

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

Tribe: DIMETERODONTINI Nopcsa, 1925

Dimetrodon gigashomogenes
Dimetrodon grandis
= Theropleura grandis