Ivachnófalu
Ivachnófalu. Liptó vm. németlipcsei j. 320315–II., 997 kh, 296 szl. /Ivachnowa, Ivachnova, Ivachnova-Lazi-Lucsky, IVACHNOVÁ, Ivachnyofalva, Ivanova; + Láz v. Lazi p./ */1893. dec. 14-én az ei. megszűnt olaszi j.-ból a rózsahegyi j.-ba átsorolva; 1907. júl. 1-től a rózsahegyi j.-ból a németlipcsei j.-ba átsorolva; 1930 után CSZ-ban + Szentmihály = Ivachnová./
