Procolophoninae is an extinct subfamily of procolophonid parareptiles from the late Early Triassic to the early Middle Triassic (Olenekian and Anisian stages) of Africa, Antarctica, Asia, Europe and South America.

Currently, the oldest-known procolophonine is Procolophon from the earliest Olenekian stage.

It is a stem-based taxon defined phylogenetically for the first time by Modesto et al. (2002) as "all taxa more related to Procolophon trigoniceps Owen, 1876 than to Leptopleuron lacertinum Owen, 1851".

[1] Coletta Pintosaurus Sauropareion Phaanthosaurus "E." dongshengensis Theledectes Tichvinskia Leptopleuroninae E. bathycephalus Procolophon Teratophon Thelerpeton Timanophon Thelephon Anomoiodon Kapes Below are two cladograms that follow phylogenetic analyses by Butler et al. (2023):[3] Teratophon Thelerpeton Procolophon

Eumetabolodon bathycephalus Thelerpeton Teratophon Procolophon