| Synonymous name | : | †Ditrichosaurus (Genus) | |
Ref: R.L. Carroll, 1988: 615. |
| Synonymous name | : | Ditrochosaurus (Genus) Gürich, 1890 | |
Ref: PBDB: 27 Oct 2013. |
| Synonymous name | : | †Noteosaurus (Genus) Broom, 1913 | |
Ref: R.L. Carroll, 1988: 615. |
| Synonymous name | : | †Notosaurus (Genus) Marsh, 1877 | |
Ref: R.L. Carroll, 1988: 615. |