Reptilia Linnaeus 1758 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Class Reptilia Linnaeus, 1758 †Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947 †Procolophonomorpha Romer, 1964 see Order Procolophonomorpha Romer, 1964 †Ankyramorpha deBraga & Reisz 1996 †Procolophonidae Lydekker, 1889 1 Genus †Procolophon Owen, 1876