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 Crocodylia Wagler, 1830 - crocodiles
               1 ?Suborder †Trialestia Crush, 1984 [monotypic]
               2 Suborder †Sphenosuchia Bonaparte, 1971 see Order Sphenosuchia Bonaparte, 1972
               3 Parasuborder †Protosuchia Mook, 1934 [paraphyletic] see Order Protosuchia Brown, 1934
               4 Suborder †Hallopoda Marsh, 1881 [monotypic]
               5 Suborder †Mesosuchia Huxley, 1875
               6 Suborder Eusuchia Huxley, 1875 see Clade Eusuchia Huxley 1875 {Brochu 2003}