†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947
   †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889
     †"horned procolophonids"
       1 †Procolophoninae Lydekker 1889 [Modesto et al. 2002] see Subfamily Procolophoninae Lydekker, 1889
       2 †Leptopleuroninae Ivakhnenko 1979 [Modesto et al. 2002] see Subfamily Leptopleuroninae Ivakhnenko, 1979