†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947
   †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889
     †Theledectinae Cisneros 2008 see Subfamily Theledectinae Cisneros, 2008
       1 †'Eumetabolodon' dongshengensis Li, 1983
       2 Genus †Theledectes Modesto & Damiani, 2003 [monotypic]