Bythinia brusinai Halaváts, 1902 † accepted as Bithynia brusinai Halaváts, 1902 † (original description)
Helix bakonicus Halaváts, 1902 † accepted as Megalotachea neumayri (Brusina, 1878) † (original description)
Helix fuchsi Halaváts, 1902 † accepted as Vallonia lepida (Reuss, 1849) † (original description)
Limnaea kenesense Halaváts, 1902 † accepted as Galba kenesensis (Halaváts, 1902) † (original description)
Limnaea minima Halaváts, 1902 † accepted as Galba halavatsi Wenz, 1922 † (original description)
Limnocardium ponticum Halaváts, 1902 † accepted as Lymnocardium ponticum Halaváts, 1902 † (original description)
Limnocardium tihanyense Halaváts, 1902 † (original description)
Melanopsis boettgeri Halaváts, 1902 † accepted as Melanopsis bouei sturii T. Fuchs, 1873 † (original description)
Planorbis bakonicus Halaváts, 1902 † accepted as Gyraulus (Gyraulus) bakonicus (Halaváts, 1902) † represented as Gyraulus bakonicus (Halaváts, 1902) † (original description)
Planorbis grandis Halaváts, 1902 † accepted as Planorbarius halavatsi Neubauer, Harzhauser, Kroh, Georgopoulou & Mandic, 2014 † (original description)
Planorbis krambergeri Halaváts, 1902 † accepted as Anisus (Anisus) krambergeri (Halaváts, 1902) † represented as Anisus krambergeri (Halaváts, 1902) † (original description)
Planorbis subptychophorus Halaváts, 1902 † accepted as Armiger subptychophorus (Halaváts, 1902) † (original description)
Pupa berthae Halaváts, 1902 † accepted as Carychium berthae (Halaváts, 1902) † (original description)
Pupa ocsensis Halaváts, 1902 † accepted as Vertigo ocsensis (Halaváts, 1902) † (original description)
Unio matyasovskyi Halaváts, 1902 † (original description)
Vivipara loczyi Halaváts, 1902 † accepted as Viviparus loczyi Halaváts, 1902 † (original description)
Vivipara semseyi Halaváts, 1902 † accepted as Viviparus semseyi Halaváts, 1902 † (original description)

Hungary for Bythinia brusinai Halaváts, 1902 † 
Hungary for Helix bakonicus Halaváts, 1902 † 
Hungary for Helix fuchsi Halaváts, 1902 † 
Hungary for Limnaea kenesense Halaváts, 1902 † 
Hungary for Limnaea minima Halaváts, 1902 † 
Hungary for Limnocardium ponticum Halaváts, 1902 † 
Hungary for Limnocardium tihanyense Halaváts, 1902 † 
Hungary for Melanopsis boettgeri Halaváts, 1902 † 
Hungary for Melanopsis boettgeri Halaváts, 1902 † 
Hungary for Melanopsis boettgeri Halaváts, 1902 † 
Hungary for Melanopsis boettgeri Halaváts, 1902 † 
Hungary for Planorbis bakonicus Halaváts, 1902 † 
Hungary for Planorbis grandis Halaváts, 1902 † 
Hungary for Planorbis krambergeri Halaváts, 1902 † 
Hungary for Planorbis subptychophorus Halaváts, 1902 † 
Hungary for Pupa berthae Halaváts, 1902 † 
Hungary for Pupa berthae Halaváts, 1902 † 
Hungary for Pupa ocsensis Halaváts, 1902 † 
Hungary for Unio matyasovskyi Halaváts, 1902 † 
Hungary for Vivipara loczyi Halaváts, 1902 † 
Hungary for Vivipara semseyi Halaváts, 1902 † 

 Type locality

 for Helix bakonicus Halaváts, 1902 †

Öcs, Veszprém, Hungary; early Transdanubian, late Pannonian, late Miocene [details]

 Type locality

 for Helix fuchsi Halaváts, 1902 †

Öcs, Veszprém, Hungary; early Transdanubian, late Pannonian, late Miocene [details]

 Type locality

 for Melanopsis boettgeri Halaváts, 1902 †

Balatonalmádi (Vörösberény) ("Vörös-Berény"), Balatonkenese ("Kenese") and Hegymagas ("Hegymagos"), ... [details]

 Type locality

 for Pupa berthae Halaváts, 1902 †

Nagyvázsony and Öcs, Veszprém, Hungary; early Transdanubian, late Pannonian, late Miocene [details]

 Type locality

 for Pupa ocsensis Halaváts, 1902 †

Öcs, Veszprém, Hungary; early Transdanubian, late Pannonian, late Miocene [details]

 Type locality

 for Unio matyasovskyi Halaváts, 1902 †

"Túr" [= Somogytúr] (Somogy, Hungary) [details]