| Synonymous name | : | †Brachymeryx feliceps Cope, 1877 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Cyclopidius emydinus Cope, 1884 | |
Ref: PBDB: 26 Jul 2015. |
| Synonymous name | : | †Cyclopidius incisivus Scott, 1893 | |
Ref: PBDB: 10 Dec 2015. |
| Synonymous name | : | †Cyclopidius simus Cope, 1877 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Hadroleptauchenia extrema Schultz & Falkenbach, 1968 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Hadroleptauchenia shanafeltae Schultz & Falkenbach, 1968 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Leptauchenia densa (Loomis, 1925) | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Leptauchenia margeryae Schultz & Falkenbach, 1968 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Pseudocyclopidius frankforteri Schultz & Falkenbach, 1968 | |
Ref: PBDB: 27 Oct 2013. |