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.
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.
Leptopleuron is an extinct genus of procolophonid that lived in the dry lands during the late Triassic in Elgin of northern Scotland and was the first to be included in the clade of Procolophonidae. First described by English paleontologist and biologist Sir Richard Owen, Leptopleuron is derived from two Greek bases, leptos for "slender" and pleuron for "rib," describing it as having slender ribs. The fossil is also known by a second name, Telerpeton, which is derived from the Greek bases tele for "far off" and herpeton for "reptile." In Scotland, Leptopleuron was found specifically in the Lossiemouth Sandstone Formation. The yellow sandstone it was located in was poorly lithified with wind coming from the southwest. The environment is also described to consist of barchan dunes due to the winds, ranging up to 20 m tall that spread during dry phases into flood plains. Procolophonoids such as Leptopleuron were considered an essential addition to the terrestrial ecosystem during the Triassic.
Acleistorhinus (ah-kles-toe-RYE-nuss) is an extinct genus of parareptile known from the Early Permian of Oklahoma. It is notable for being the earliest known anapsid reptile yet discovered. The morphology of the lower temporal fenestra of the skull of Acleistorhinus bears a superficial resemblance to that seen in early synapsids, a result of convergent evolution. Only a single species, A. pteroticus, is known, and it is classified in the Family Acleistorhinidae, along with Colobomycter.
Owenetta is an extinct genus of owenettid procolophonian parareptile. Fossils have been found from the Beaufort Group in the Karoo Basin of South Africa. Although most procolophonians lived during the Triassic, Owenetta existed during the Wuchiapingian and Changhsingian stages of the Late Permian as well as the early Induan stage of the Early Triassic. It is the type genus of the family Owenettidae, and can be distinguished from other related taxa in that the posterior portion of the supratemporal bears a lateral notch and that the pineal foramen is surrounded by a depressed parietal surface on the skull table.
Australothyris is an extinct genus of basal procolophonomorph parareptile known from the Middle Permian of Tapinocephalus Assemblage Zone, South Africa. The type and only known species is Australothyris smithi. As the most basal member of Procolophonomorpha, Australothyris helped to contextualize the origin of this major parareptile subgroup. It has been used to support the hypotheses that procolophonomorphs originated in Gondwana and ancestrally possess temporal fenestrae, due to its large and fully enclosed temporal fenestra and South African heritage. It also possessed several unique features, including a high tooth number, long postfrontal, small interpterygoid vacuity, and a specialized interaction between the stapes and quadrate.
Kitchingnathus is an extinct genus of basal procolophonid parareptile from Early Triassic deposits of Eastern Cape Province, South Africa. It is known from the holotype BP/1/1187, skull and partial postcranium, which was first assigned to the more derived Procolophon trigoniceps. It was collected by the South African palaeontologist, James W. Kitching in October 1952 from Hobbs Hill, west of Cathcart. It was found in the middle or upper part of the Katberg Formation of the Beaufort Group and referred to the uppermost Lystrosaurus Assemblage Zone. It was first named by Juan Carlos Cisneros in 2008 and the type species is Kitchingnathus untabeni. The generic name honours James W. Kitching, and "gnathus", from Greek gnathos meaning mandible. The specific name meaning "from the hill", in isiZulu, is in reference to the locality where the fossil was found.
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.
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.
Teratophon is an extinct genus of procolophonine procolophonid parareptile from middle Triassic deposits of Free State Province, South Africa. It is known from the holotype BP/1/4299, a nearly complete skull. It 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. It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Teratophon spinigenis. It was first assigned to a species of Thelegnathus, Thelegnathus spinigenis.
Thelephon is an extinct genus of procolophonine procolophonid parareptile from middle Triassic deposits of Free State Province, South Africa. It is known from the holotype BP/1/3512, a partial skull lacking the snout and anterior third of the mandible. It was collected by the South African palaeontologist, James W. Kitching from Hugoskop in the Winnaarsbaken and referred to subzone B of the Cynognathus Assemblage Zone of the Burgersdorp Formation, Beaufort Group. It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Thelephon contritus. It was first assigned to a species of Thelegnathus, Thelegnathus contritus.
Thelerpeton is an extinct genus of procolophonine procolophonid parareptile from middle Triassic deposits of Free State Province, South Africa. It is known from the holotype BP/1/4538, a nearly complete skull. It 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. It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Thelerpeton oppressus. It was first assigned to a species of Thelegnathus, Thelegnathus oppressus.
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.
Koiloskiosaurus is an extinct genus of procolophonid parareptile from the Early Triassic of Germany. The type and only species Koiloskiosaurus coburgensis was named by German paleontologist Friedrich von Huene in 1911 from a layer of rocks called the Buntsandstein. Koiloskiosaurus coburgensis is known from a block of three fossilized skeletons preserved together. Given that the skeletons are oriented in the same direction, the individuals most likely died in a burrow. Features of the skeletons of Koiloskiosaurus and other procolophonids, such as robust limbs and solid, immovable skull bones, are also taken as evidence that they were burrowers.
Saurodektes is an extinct genus of owenettid procolophonoid parareptile known from the earliest Triassic deposits of Eastern Cape Province, South Africa. It was first named by Sean P. Modesto, Ross J. Damiani, Johann Neveling and Adam M. Yates in 2003 and the type species is Saurodectes rogersorum. The generic name Saurodectes was preoccupied by the generic name of Saurodectes vrsanskyi Rasnitsyn & Zherikhin, 2000, a fossil chewing lice known from the Early Cretaceous of Russia. Thus, an alternative generic name, Saurodektes, was proposed by Modesto et al. in 2004. The generic name means "lizard", sauros, and "biter", dektes from Greek. The specific name, rogersorum, honors Richard and Jenny Rogers, owners of the farm Barendskraal, for their hospitality, support and interest in the work of the paleontologists who recovered the holotype. Saurodektes is known solely from the holotype BP/1/6025, a partial skull and some fragmentary partial postcranial elements, housed at the Bernard Price Institute for Palaeontological Research, although the unprepared specimens BP/1/6044, BP/1/6045 and BP/1/6047 might also be referable to it. All specimens were collected on the slopes of the Manhaar Hill at Barendskraal in the Middelburg District, from the Palingkloof Member of the Balfour Formation, Beaufort Group, only 12 metres below the base of the Katberg Formation. This horizon belongs to the Lystrosaurus Assemblage Zone, dating to the early Induan stage of the Early Triassic period.
The Katberg Formation is a geological formation that is found in the Beaufort Group, a major geological group that forms part of the greater Karoo Supergroup in South Africa. The Katberg Formation is the lowermost geological formation of the Tarkastad Subgroup which contains the Lower to Middle Triassic-aged rocks of the Beaufort Group. Outcrops and exposures of the Katberg Formation are found east of 24 degrees on wards and north of Graaff-Reniet, Nieu Bethesda, Cradock, Fort Beaufort, Queensdown, and East London in the south, and ranges as far north as Harrismith in deposits that form a ring around the Drakensberg mountain ranges.
