Norsk Ordbog (1873) av Ivar Aasen
    Aastein, m. rundagtig Steen i et Elveløb. Et sjeldnere Navn er Aahall, m. Hall.