Classification of Krishtalka and Stucky 1985

G. †Wasatchia Sinclair 1914
show all
Wasatchia robustus Sinclair 1914
Fm. †Diacodexeidae Krishtalka and Stucky 1985
show all
Subfm. †Diacodexeinae Gazin 1955
hide
G. †Diacodexis Cope 1882
hide
Diacodexis gracilis Krishtalka and Stucky 1985
Diacodexis kelleyi Krishtalka and Stucky 1985
Diacodexis metsiacus Cope 1882
+
Invalid names: Mioclaenus brachystomus Cope 1882 [synonym]
Diacodexis minutus Krishtalka and Stucky 1985
Diacodexis primus Krishtalka and Stucky 1985
Diacodexis secans Cope 1881
+
Invalid names: Diacodexis olseni Sinclair 1914 [synonym], Phenacodus laticuneus Cope 1882 [synonym]
Diacodexis woltonensis Krishtalka and Stucky 1985
Invalid names: Trigonolestes Cope 1894 [synonym]