Archosauromorpha Huene 1946 [Benton 1985], nom. cl. inval. see Clade Archosauromorpha von Huene 1946 [Gauthier 2020] Archosauriformes Gauthier 1994, nom. cl. inval. see Clade Archosauriformes Gauthier 1994 [Gauthier 2020] †Proterochampsia Bonaparte 1971 [Kischlat 2002] Genus †Tropidosuchus Arcucci, 1990 †Tropidosuchus romeri Arcucci, 1990