[Class] Reptilia Linnaeus, 1758 - reptiles Subclass Crocodylomorpha Hay, 1930 Order Crocodylia Wagler, 1830 - crocodiles Suborder †Protosuchia Mook, 1934 see Order Protosuchia Brown, 1934 †Protosuchus richardsoni (Brown, 1933)