reptiles Linnaeus 1758 [Laurin & Reisz 2020] see Class Reptilia Linnaeus, 1758 Pan-Archosauria Gauthier 2020 Crocopoda Ezcurra 2016 †Allokotosauria Nesbitt, Flynn, Pritchard, Parrish, Ranivoharimanana & Wyss 2015 Genus †Trilophosaurus Case, 1928 †Trilophosaurus buettneri Case, 1928