Classification of the family Holectypidae
Fm. †Holectypidae Lambert 1900
show all | hide all
G. †Coenholectypus Pomel 1883
hide
†Coenholectypus baluchistanensis Noetling 1897
†Coenholectypus excisus Desor 1847
†Coenholectypus inflatus Cotteau and Gauthier 1895
†Coenholectypus larteti Cotteau 1869
†Coenholectypus macropygus Agassiz 1836
†Coenholectypus macrostomus Engel 1964
†Coenholectypus neocomiensis Gras 1848
+
Invalid names: Holectypus adkinsi Smiser 1936 [synonym], Holectypus engerrandi Lambert 1927 [synonym], Holectypus pennanus White 1887 [synonym], Holectypus planatus Roemer 1852 [synonym]
†Holectypus (Coenholectypus) peridoneus Nishiyama 1950
†Holectypus larteti major Blenckenhorn 1925
G. †Coptodiscus
hide
†Coptodiscus magniproctus Smith 1995
†Coptodiscus noemiae Cotteau and Gauthier 1895
G. †Discholectypus Pomel 1883
G. †Holectypus
hide
†Holectypus cragini Clark and Twitchell 1915
†Holectypus montalvensis Sanchez-Roig 1953
†Holectypus pealei Clark and Twitchell 1915
†Holectypus sarthacensis Cotteau 1856