Iné významy termínu "ANTOL"ANTOLslovenský herec a režisér (Milan, *1959)starší názov obce Svätý Anton pri Banskej Bystricibývalý názov obce svätý antonstarší názov obce svätý anton pri banskej bys