| Synonymous name | : | †Ictidopsis elegans Broom, 1912 | |
Ref: PBDB: 21 Mar 2018. |
| Synonymous name | : | †Ictidopsis formosa van Hoepen, 1916 | |
Ref: PBDB: 24 Jun 2016. |
| Synonymous name | : | †Micrictodon marionae Broom, 1937 | |
Ref: PBDB: 26 Jul 2015. |
| Synonymous name | : | †Notictosaurus luckhoffi Broom, 1936 | |
Ref: PBDB: 29 Sep 2016. |
| Synonymous name | : | †Nythosaurus larvatus Owen, 1876 | |
Ref: PBDB: 29 Sep 2016. |
| Synonymous name | : | †Thrinaxodon putterilli Broom, 1932 | |
Ref: PBDB: 28 Sep 2016. |