†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947
   †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889
     1.1 ?Genus †Kinelia Bulanov, 2002 [monotypic]
     1.2 Genus †Coletta Gow, 2000 [monotypic]
     2 Genus †Pintosaurus Piñeiro, Rojas & Ubilla, 2004 [monotypic]
     3 Genus †Sauropareion Modesto, Sues & Damiani, 2001 [monotypic]
     4.1 Genus †Phaanthosaurus Chudinov & V'yushkov, 1956
     4.2.1 †Theledectinae Cisneros 2008 see Subfamily Theledectinae Cisneros, 2008
     4.2.2.1 Genus †Tichvinskia Chudinov & V'yushkov, 1956 [monotypic]
     4.2.2.2 †"horned procolophonids"
     5 ?Genus †Spondylolestes Broom, 1937 [monotypic]
     6 ?Genus †Gomphiosauridion Sues & Olsen, 1993 [monotypic]