A 15th-century Ottoman bathhouse built close to the ruins of the Hagios Polyeuktos on a foundation together with a mosque, a madras, maktab and watersources.
(Müller-Wiener 1977 p. 191, 325, 376)