Nebrija (Voc1, ca. 1495): Antolin nombre de sancto. antoninus .i.
•
nom. prop.
Mártir cristiano venerado como santo por la iglesia católica.
Exemples
«dio en vna cueua donde por tiempo hauia houido vna yglesia de sant | Antholin | martyr. y el rey con·el embeuecimiento de la caça que era» [D-CronAragón-026r (1499)];