Petrosaurus Boulenger, 1885
Petrosaurus thalassinus repens (Van Denburgh, 1895)
Petrosaurus thalassinus thalassinus (Cope, 1863)