†Procolophonia Seeley 1888 [Laurin & Reisz 1995]
   †Procolophonoidea Romer 1956 [Lee 1995] see Superfamily Procolophonoidea Cope, 1889
     †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889
       1 Genus †Coletta Gow, 2000
       2.1 Genus †Sauropareion Modesto, Sues & Damiani, 2001
       2.2.1 Genus †Contritosaurus Ivakhnenko, 1974
       2.2.2.1 Genus †Procolophon Owen, 1876
       2.2.2.2 Genus †Thelerpeton Modesto & Damiani, 2003
       2.2.2.3 †Leptopleuroninae Ivakhnenko 1979 [Modesto et al. 2002] see Subfamily Leptopleuroninae Ivakhnenko, 1979