Synonymous name | : | †Asthenodon segnis Marsh, 1887 | |
Ref: PBDB: 27 Oct 2013. |
Synonymous name | : | †Herpetairus arcuatus (Marsh, 1879) | |
Ref: PBDB: 30 Apr 2013. |
Synonymous name | : | †Herpetairus humilis Simpson, 1929 | |
Ref: PBDB: 27 Oct 2013. |
Synonymous name | : | †Laolestes grandis Simpson, 1929 | |
Ref: PBDB: 27 Oct 2013. |
Synonymous name | : | †Stylacodon validus Marsh, 1880 | |
Ref: PBDB: 27 Oct 2013. |