Origin of the name HILDEFONS.
Etymology of the
Meaning of the baby name HILDEFONS.
of Hildefuns (q.v.), of Teutonic origin,
meaning "battle-eager," from hild(e) "battle" and
fons/funs "eager, fiery."
Gothic Lexicon has fon = πυρ, and Verelius gives fun,
fon, ignis. (Praenomina, Charnock, 1882)
... Hildefons von Arx
observes, "that it is historical, and wholly in the style of the
apostles, relating all the chief events of revelation from the creation
of the world to that time," which was the general manner of
preaching during the middle ages, as may be proved from all ancient
collections. (Mores Catholici; or, Ages of Faith, Digby, 1846)