Infraphylum Tetrapoda Goodrich, 1930
see Clade Tetrapoda Hatschek & Cori 1896 [Laurin 2020]
Superclass Amniota Haeckel, 1866
see Clade Amniota Haeckel 1866 [Laurin & Reisz 2020]
Paraclass Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
Parasubclass Diapsida Osborn, 1903 [paraphyletic] - diapsids
see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
Parainfraclass Archosauria Cope, 1869 [paraphyletic]
see Clade Archosauria Cope 1869 [Gauthier & Padian 2020]
Parasuperorder Thecodontia Owen, 1859 [paraphyletic]
Order †Aetosauria Nicholson & Lydekker, 1889 [monotypic]
Genus †Hoplitosuchus Huene, 1944, nom. dub., incertae sedis