In the name of the city, the profane prevailed
over the sacred; Jerusalem was known to the devout
Christians, (Euseb. de Martyr Palest. c xi.;) but the legal
and popular appellation of Aelia (the colony of Aelius
Hadrianus) has passed from the Romans to the Arabs. (Reland,
Palestin. tom. i. p. 207, tom. ii. p. 835.
D'Herbelot, Bibliotheque Orientale, Cods, p. 269, Ilia, p.
420.) The epithet of Al Cods, the Holy, is used as the
proper name of Jerusalem.