Origin of the name Ildefonso

Spanish form of the Visigothic name Hildefons, which meant "battle ready", derived from the Germanic elements hild "battle" and funs "ready". This was the name of a 7th-century saint, an archbishop of Toledo.