Dieser Text wurde anhand der angegebenen Quelle einmal Korrektur gelesen. Die Schreibweise sollte dem Originaltext folgen. Es ist noch ein weiterer Korrekturdurchgang nötig.
Eirenopolis. 1) Stadt in Isaurien, in der Nähe von Claudiopolis und Germanicopolis. Hierokl. 710, 3. Not. ep. I 845. III 740. X 798. Const. Porphyr. de them. I 15. Basilius Seleuc. de mir. Theclae 2, 18. Vita S. Theod. 2 (μνημ. ἁγιολογ. ed. Th. Ioannes 131, 8). Vgl. Müller z. Ptol. V 7 (8), 6. Vielleicht ist der Name erhalten im heutigen I(r)nebol, südlich von Ermenek (Germanicopolis), Ramsay Asia min. 365. Tomaschek S.-Ber. Akad. Wien 1891 VIII 60. R. Kiepert Karte von Kleinasien D III.
