Procolophonidae is an extinct family of small, lizard-like parareptiles known from the Late Permian to Late Triassic that were distributed across Pangaea, having been reported from Europe, North America, China, South Africa, South America, Antarctica and Australia. The most primitive procolophonids were likely insectiovous or omnivorous, more derived members of the clade developed bicusped molars, and were likely herbivorous feeding on high fiber vegetation or durophagous omnivores. Many members of the group are noted for spines projecting from the quadratojugal bone of the skull, which likely served a defensive purpose as well as possibly also for display. At least some taxa were likely fossorial burrowers. While diverse during the Early and Middle Triassic, they had very low diversity during the Late Triassic, and were extinct by the beginning of the Jurassic.
Nyctiphruretus is an extinct genus of nyctiphruretid parareptile known from the Guadalupian series of European Russia.
Procolophon is a genus of lizard-like procolophonid parareptiles that first appeared in the Early Triassic (Induan) of South Africa, Brazil, and Antarctica. It persisted through the Permian–Triassic extinction event, but went extinct in the beginning of the Early Middle Triassic. The type species is P. trigoniceps.
Belebey is an extinct genus of bolosaurid ankyramorph parareptile containing species known from the latest Carboniferous (Gzhelian) or earliest Permian (Asselian) to Guadalupian stage of Europe and Asia.
Sclerosaurus is an extinct genus of procolophonid parareptile known from the Early to Middle Triassic of Germany and Switzerland. It contains a single species, Sclerosaurus armatus. It was fairly small, about 30 cm long, distinguished from other known parareptiles by the possession of long, backwardly projecting spikes, rear lower jaw teeth with slightly imbricating crowns, and a narrow band of back armor comprising two or three rows of sculptured osteoderms on either side of the midline.
Procolophonoidea is an extinct superfamily of procolophonian parareptiles. Members were characteristically small, stocky, and lizard-like in appearance. Fossils have been found worldwide from many continents including Antarctica. The first members appeared during the Late Permian in the Karoo Basin of South Africa.
Broomia is an extinct genus of millerettid parareptile from the Middle Permian of South Africa. It was originally described by D. M. S. Watson.
Sauropareion is an extinct genus of basal procolophonid parareptile from earliest Triassic deposits of Eastern Cape Province, South Africa. It is known from the holotype SAM PK-11192, skull and partial postcranium. It was collected by the late L. D. Boonstra in 1935 from Barendskraal in the Middelburg District and referred to the Lystrosaurus Assemblage Zone of the Beaufort Group. It was first named by Sean P. Modesto, Hans-Dieter Sues and Ross J. Damiani in 2001 and the type species is Sauropareion anoplus. The generic name means "lizard", sauros, and "cheek", pareion from Greek in reference to the lizard-like appearance of the temporal region. The specific name comes from the Greek word anoplos, meaning "without arms or armour".
Coletta is an extinct genus of basal procolophonid parareptile from Early Triassic deposits of Eastern Cape Province, South Africa. It is known from the holotype GHG 228, a skull with fragmentary lower jaws. It was collected on the farm Brakfontein 333 in the Cradock District. It was found in the Katberg Formation of the Beaufort Group and referred to the Lystrosaurus Assemblage Zone. It was first named by Christopher E. Gow in 2000 and the type species is Coletta seca.
Theledectes is an extinct genus of theledectine procolophonid parareptile from middle Triassic deposits of Free State Province, South Africa.The type species, Theledectes perforatus, is based on the holotype BP/1/4585, a flattened skull. This skull was collected by the South African palaeontologist, James W. Kitching from Hugoskop in the Rouxville District and referred to subzone B of the Cynognathus Assemblage Zone of the Burgersdorp Formation, Beaufort Group. The genus was first named by Sean P. Modesto and Ross J. Damiani in 2003. However, the species was initially assigned to the genus Thelegnathus by C.E. Gow in 1977, as the species Thelegnathus perforatus.
Theledectinae is an extinct subfamily of parareptiles within the family Procolophonidae. Theledectines existed in South Africa, China and Australia during the Early-Middle Triassic period. Theledectinae was named by Juan Carlos Cisneros in 2008 to include the genus Theledectes, and the species "Eumetabolodon" dongshengensis. "E." dongshengensis represents a new genus from China. Cladistically, it is defined as "All taxa more closely related to Theledectes perforatus than to Procolophon trigoniceps Owen, 1876". In 2020, Hamley add the new genus Eomurruna from Australia to this subfamily.
Phaanthosaurus is an extinct genus of basal procolophonid parareptile from early Triassic deposits of Nizhnii Novgorod, Russian Federation. It is known from the holotype PIN 1025/1, a mandible. It was collected from Vetluga River, Spasskoe village and referred to the Vokhmian terrestrial horizon of the Vokhma Formation. It was first named by P. K. Chudinov and B. P. Vjushkov in 1956 and the type species is Phaanthosaurus ignatjevi.
Eumetabolodon is an extinct genus of procolophonine procolophonid parareptile from early and middle Triassic deposits of Nei Mongol, northern China. Two species of Eumetabolodon were named by J. L. Li in 1983 and the type species is Eumetabolodon bathycephalus.
Anomoiodon is an extinct genus of procolophonine procolophonid parareptile from early Triassic deposits of Thuringia, Germany. It is known only from the holotype MB.R.3539B and paratype MB.R.3539A, two articulated, three-dimensionally preserved partial skeletons on one block which represent two individuals. The holotype includes nearly complete skull and lower jaw. The block was collected from the lowest layer of the Chirotherium Sandstone Member of the Solling Formation, dating to the early Olenekian faunal stage of the Early Triassic, about 249-247 million years ago. It was first named by Friedrich von Huene in 1939 and the type species is Anomoiodon liliensterni. Laura K. Säilä, who redescribed Anomoiodon in 2008, found it to be a leptopleuronine using a phylogenetic analysis. The most recent analysis, performed by Ruta et al. (2011) found it to be a procolophonine instead. However, both analyses found that it is most closely related to the Russian procolophonid Kapes.
Procolophoninae is an extinct subfamily of procolophonid parareptiles from the late Early Triassic to the early Middle Triassic of Africa, Antarctica, Asia, Europe and South America. Currently, the oldest-known procolophonine is Procolophon from the earliest Olenekian stage.
Leptopleuroninae is an extinct subfamily of procolophonid reptiles. The oldest member of Leptopleuroninae is Phonodus dutoitorum from the Induan age of the Early Triassic. It is the only procolophonid group that survived into the Late Triassic.
Pentaedrusaurus is an extinct genus of procolophonid parareptile from the Early Triassic of China. It is one of the most basal members of the procolophonid subfamily Leptopleuroninae. The only known species of Pentaedrusaurus, P. ordosianus, was named in 1989 from the Heshanggou Formation.
Libognathus is an extinct genus of procolophonid parareptile from the Late Triassic of Texas. The type and only species, Libognathus sheddi, was named in 1997 from the Cooper Canyon Formation in the fossil-rich Post Quarry, which is found in Garza County. Libognathus was the first definite procolophonid discovered in the southwestern United States, although another possible procolophonid called Chinleogomphius was reported from the southwest before Libognathus was named.
Barasaurus is an extinct genus of owenettid procolophonoid parareptile known from the Late Permian and Early Triassic of Madagascar. It contains a single species, Barasaurus besairiei.
Coartaredens is an extinct genus of reptile from the Middle Triassic of England. It contains a single species, Coartaredens isaaci, from the Anisian-age Otter Sandstone of Devon. The species is based on a partial jaw and other fragments with large conical teeth. Though originally described as a lepidosauromorph, some authors have instead considered it to be a procolophonid.
