Procolophonoidea

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.

Taxonomy
Procolophonoidea includes the families Owenettidae and Procolophonidae. Sclerosaurus, which is placed within its own family Sclerosauridae, may be a member of the superfamily as well.

When the superfamily was constructed in 1956, it was thought to be within the anthracosaur suborder Diadectomorpha. Since then it has been placed within the suborder Procolophonia along with the pareiasaurs, a group of large herbivorous Permian parareptiles.
 * '''Procolophonia
 * PROCOLOPHONOIDEA
 * Family Owenettidae
 * Genus Barasaurus
 * Genus Owenetta
 * Genus Saurodectes
 * Species "Owenetta" kitchingorum
 * Genus Candelaria
 * Genus Coletta
 * Genus Sauropareion
 * Family Procolophonidae
 * Genus Anomoiodon
 * Genus Contritosaurus
 * Genus Tichvinskia
 * Genus Procolophon
 * Genus Leptopleuron
 * Genus Hypsognathus
 * ?Family Sclerosauridae
 * Genus Sclerosaurus

Cisneros et al. 2004

Modesto et al. 2001