Neritina (Neritodonta) bolivari Royo Gómez, 1922 † accepted as
Theodoxus bolivari (Royo Gómez, 1922) † (new combination reference)
Neritina almelae Revilla, 1958 † accepted as
Theodoxus almelae (Revilla, 1958) † (new combination reference)
Neritina bolivari Royo Gómez, 1922 † accepted as
Theodoxus bolivari (Royo Gómez, 1922) † (new combination reference)
Neritina doetschi Revilla, 1958 † accepted as
Theodoxus almelae (Revilla, 1958) † (source of synonymy)
Neritina sphaeroidalis Revilla, 1958 † accepted as
Theodoxus sphaeroidalis (Revilla, 1958) † (new combination reference)
Neritina triguerosi Revilla, 1958 † accepted as
Theodoxus almelae (Revilla, 1958) † (source of synonymy)
Theodoxus almelae (Revilla, 1958) † (basis of record)
Theodoxus sphaeroidalis (Revilla, 1958) † (basis of record)