Kras, Kraševci in kraška zemljepisna imena v zgodnjih slovenskih besedilih