reptiles Linnaeus 1758 [Laurin & Reisz 2020] see Class Reptilia Linnaeus, 1758 Pan-Archosauria Gauthier 2020 Crocopoda Ezcurra 2016 Archosauriformes Gauthier 1994 [Gauthier 2020] Eucrocopoda Ezcurra 2016 †Proterochampsia Bonaparte 1971 [Kischlat 2002] see Order Proterochampsia Bonaparte, 1971 Genus †Doswellia Weems, 1980