Avicenna says nothing of the sort in the
Treatise of ,Hayy b. Yaqzan, as published by A. F. Mehren,
Traites Mystiques (Leiden, 1889),
Vol. I. Cf. also the recent editions by A. Amin
(Cairo, 1952), and H. Corbin.
However, there is some similarity between Ibn
Khaldun's statement and Ibn Tufayl's famous work on Hayy b.
Yagzan. Ibn Khaldun apparently used some work based on Ibn
Tufayl, which quoted specific theories as going back to al-Farabi
and Avicenna. Cf also H. Corbin, Avicenne et le ricit
visionnaire (Collection du millenaire d'Avicenne, No. 25)
(Teheran, 196264), II, 162-54.