innerHTML & co. funktionieren nur bei dateien mit *.html oder *.htm -endungen ... und da du auf eine *.txt-datei zugreifen willst bringen dir diese methoden nichts ...
Das stimmt nicht. Textdateien in iframes sind (rudimentäre) HTML-Dokumente.
Mathias