Witaj Tadziu
Imię pochodzi od od imienia
Teofil, notowanego w Polsce od XIII wieku, to od
theos 'Bóg' +
philos 'przyjaciel'.
Wg Rymuta imiona te mają wspólny źródłosłów w słowie
theo 'Bóg'.
Niefortunnie sformulowałam odpowiedź. Oczywiście, są to różne imiona.
Bartku, dzięki za uzupełnienie.