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
       1 †Bolosauria Kuhn 1959 [Modesto, Scott, MacDougall, Sues, Evans & Reisz 2015]
       2.1 Genus †Australothyris Modesto, Scott & Reisz, 2009
       2.2 †Ankyramorpha deBraga & Reisz 1996