†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947
   †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889
     †"horned procolophonids"
       †Procolophoninae Lydekker 1889 [Modesto et al. 2002] see Subfamily Procolophoninae Lydekker, 1889
         1.1 Genus †Timanophon Novikov, 1991 [monotypic]
         1.2.1 Genus †Kapes Ivakhnenko, 1975
         1.2.2 Genus †Thelephon Modesto & Damiani, 2003 [monotypic]
         2.1 Genus †Eumetabolodon Li, 1983 [monotypic]
         2.2.1 Genus †Procolophon Owen, 1876 [monotypic]
         2.2.2 Genus †Thelerpeton Modesto & Damiani, 2003 [monotypic]
         2.2.3 Genus †Teratophon Modesto & Damiani, 2003 [monotypic]