Le castrum de Badefol est attesté dès le XIIIe siècle (formes anciennes : Castrum et Castellania de Badefol en 1120 dans le cartulaire de Cadouin, de Bada- follo, Badafol, Batefol — Badefol. Id. — Badefol d’Ans. , Castrum de Badejol en 1278, Badafollum...