[818] Ildefons (Ildefonso, Ildefonsus), 1) so v.w. Alfons; 2) St. Ildefons v. Toledo, geb. 607 in Toledo, war Anfangs Abt in dem Kloster Agli, wurde 658 Erzbischof von Toledo u. st. 667 od. 669; die Adoptianer beriefen sich auf ihn als ihrer Meinung von der Gottessohnschaft Jesu zugethan; er schr. u.a. De illibata virginitate B. Virginis, herausgegeben zuerst Val. 1556, von Fr. Feuardent, Par. 1576 u.ö.; De cognitione baptismi; setzte auch Isidors Schrift De viris illustribus fort; seine Lebensbeschreibung schrieb Julian, einer seiner Nachfolger.