Banksia Warren & Marsicano, 1998 † accepted as Banksiops Warren & Marsicano, 2000 † (verified source for family)
Banksiops Warren & Marsicano, 2000 † (verified source for family)
Banksiops Warren & Marsicano, 2000 † (current name source)
Branchiosauravus Romer, 1930 † accepted as Isodectes Cope, 1895 † (source of synonymy)
Eobrachyops Watson, 1956 † accepted as Isodectes Cope, 1895 † (basis of record)
Eobrachyops Watson, 1956 † accepted as Isodectes Cope, 1895 † (verified source for family)
Eobrachyops Watson, 1956 † accepted as Isodectes Cope, 1895 † (source of synonymy)
Eobrachyops Watson, 1956 † accepted as Isodectes Cope, 1895 † (name verified source)
Eusauropleura Romer, 1930 † (extant flag source)
Isodectes Cope, 1895 † (current name source)
Nycteroleter Efremov, 1938 † (extant flag source)
Saurerpeton Moodie, 1909 † accepted as Isodectes Cope, 1895 † (source of synonymy)
Saurerpetontidae Chase, 1965 † accepted as Eobrachyopidae † (source of synonymy)
Zygosaurus Eichwald, 1848 † (extant flag source)