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]
             Paraorder †Proterosuchia Broom, 1906 [paraphyletic]
               Family †Proterosuchidae Broom, 1906
                 1 Genus †Ankistrodon Huxley, 1865, nom. dub.
                 2 Genus †Archosaurus Tatarinov, 1960
                 3 Genus †Chasmatosaurus Haughton, 1924 see Genus Proterosuchus Broom, 1903
                 4 Genus †Elaphrosuchus Broom, 1946 see Genus Proterosuchus Broom, 1903
                 5 Genus †Fugusuchus Cheng, 1980
                 6 Genus †Kalisuchus Thulborn, 1979
                 7 Genus †Proterosuchus Broom, 1903
                 8 Genus †Tasmaniosaurus Camp & Banks, 1978