(TeX-add-style-hook "koly_cong"
 (lambda ()
    (LaTeX-add-bibliographies
     "biblio")
    (LaTeX-add-labels
     "sec:intro"
     "conj:koly"
     "sec:main"
     "thm:main"
     "sec:example")
    (TeX-run-style-hooks
     "hyperref"
     "hypertex"
     "pdfsync"
     "xy"
     "all"
     "latex2e"
     "art10"
     "article"
     "macros")))