Genus Ildefonsus Distant, 1911

• Ildefonsus distanti C.R. Li & L.Y. Zheng, 2006 [species]
• Ildefonsus nexus Drake & Ruhoff, 1961 [species]
• Ildefonsus provorsus Distant, 1911 [species]