Classification of the superfamily Procolophonoidea
Superfm. †Procolophonoidea Romer 1956
show all | hide all
Fm. †Owenettidae Broom 1939
+
G. †Owenetta Broom 1939
+
†Owenetta rubidgei Broom 1939
Invalid names: Colubrifer Carroll 1982 [synonym], Colubrifer campi Carroll 1982 [invalid subgroup]
G. †Saurodektes Modesto et al. 2004
+
†Saurodektes rogersorum Modesto et al. 2003
+
Invalid names: Owenetta kitchingorum Reisz and Scott 2002 [synonym]
Invalid names: Saurodectes Modesto et al. 2003 [replaced]
G. †Procolophonichnium Nopcsa 1923
+
†Procolophonichnium haarmuehlensis Holst et al. 1970
†Procolophonichnium nopcsai Nopcsa 1923
†Procolophonichnium polonicum Ptaszynski 1990
†Procolophonichnium tirolensis Ceoloni et al. 1988
+
Invalid names: Chelichnus tazelwurmi Ceoloni et al. 1988 [synonym], Paradoxichnium radeinensis Ceoloni et al. 1988 [synonym], Prochirotherium permicum Leonardi 1951 [synonym]
†Procolophonichnium winterswijkense Demathieu and Oosterink 1983
Invalid names: Contiichnus Citton et al. 2017 [synonym]
Fm. †Procolophonidae Lydekker 1889
+
G. †Contritosaurus Ivakhnenko 1974
G. †Estheriophagus Novozhilov 1948
Subfm. †Leptopleuroninae Ivakhnenko 1979
+
G. †Kapes Ivakhnenko 1975
+
†Kapes amaenus Ivakhnenko 1975
†Kapes bentoni Spencer and Storrs 2002
†Kapes komiensis Ivakhnenko 1975
Invalid names: Macrophon Ivakhnenko 1975 [synonym]
G. †Leptopleuron Owen 1851
+
†Leptopleuron lacertinum Owen 1851
+
Invalid names: Telerpeton elginense Mantell 1852 [objective synonym]
Invalid names: Telerpeton Mantell 1852 [objective synonym]
G. †Sclerosaurus von Meyer 1857
+
†Sclerosaurus armatus von Meyer 1857
+
Invalid names: Labyrinthodon ruetimeyeri Wiedersheim 1878 [synonym]
Invalid names: Aristodesmus Seeley 1895 [synonym]
G. †Myognathus
Subfm. †Procolophoninae Nopcsa 1928
+
G. †Orenburgia Ivakhnenko 1975
+
†Orenburgia bruma Ivakhnenko 1983
†Orenburgia concinna Ivakhnenko 1975
+
Invalid names: Insulophon morachovskayae Novikov 1992 [synonym], Lestanshoria massiva Novikov 1991 [synonym]
†Orenburgia enigmaticus Chudinov and Vjushkov 1956
Invalid names: Insulophon Novikov 1992 [synonym], Lestanshoria Novikov 1991 [synonym], Samaria Novikov 1991 [synonym]
G. †Procolina Borsuk−Białynicka and Lubka 2009
+
†Procolina teresae Borsuk−Białynicka and Lubka 2009
G. †Procolophon Owen 1876
+
†Procolophon trigoniceps Owen 1876
+
Invalid names: Procolophon baini Broom 1905 [synonym], Procolophon brasiliensis Cisneros and Schultz 2002 [synonym], Procolophon cuneiceps Seeley 1878 [synonym], Procolophon griersoni Seeley 1878 [synonym], Procolophon laticeps Seeley 1878 [synonym], Procolophon minor Owen 1876 [synonym], Procolophon platyrhinus Seeley 1905 [synonym], Procolophon pricei Lavina 1983 [synonym], Procolophon sphenorhinus Seeley 1905 [synonym]
Invalid names: Microtheledon Broom 1936 [nomen dubium], Thelegnathus parvus Broom 1905 [nomen dubium]
G. †Procolophonoides Ivakhnenko 1979
G. †Suchonosaurus Tverdochlebova and Ivakhnenko 1994
+
†Suchonosaurus minimus Tverdochlebova and Ivakhnenko 1994
G. †Tichvinskia Chudinov and Vjushkov 1956
+
†Tichvinskia burtensis Ochev 1958
†Tichvinskia vjatkensis Chudinov and Vjushkov 1956
Invalid names: Burtensia Ivakhnenko 1975 [synonym]
Invalid names: Paoteodon Chow and Sun 1960 [nomen dubium], Spondylolestidae Ivakhnenko 1979 [invalid subgroup], Thelegnathus Broom 1905 [nomen dubium], Thelegnathus browni Broom 1905 [nomen dubium]
Invalid names: Tichvinskia jugensis Vjushkov and Chudinov 1956 [nomen dubium]