Reptilia Linnaeus 1758 [Gauthier 1984], nom. cl. inval. see Clade Reptilia Linnaeus 1758 [Laurin & Reisz 2020] †Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947 †Procolophonomorpha Romer, 1964 see Order Procolophonomorpha Romer, 1964 †Ankyramorpha deBraga & Reisz 1996 [Procolophonia Seeley 1888 [Laurin & Reisz 1995]]