(TeX-add-style-hook "bsd01"
 (function
  (lambda ()
    (LaTeX-add-bibitems
     "cremona:algs"
     "gross:kolyvagin"
     "gross-zagier"
     "kolyvagin:euler_systems"
     "mazur:rational"
     "rubin:main-conjectures"
     "serre:propgal"
     "silverman:aec")
    (LaTeX-add-labels
     "bsd-heegner"
     "proofs"
     "weil-pairing-lemma"
     "lemma1"
     "lemma2"
     "lemma:stein"
     "Kexists"
     "descent"
     "goal:bsd"
     "tab:sha"
     "goal:bsd2"
     "step:refine"
     "step:alg"
     "step:implement"
     "step:correctgen"
     "step:sel"
     "step:analysis"
     "step:tamagawa"
     "step:lower"
     "step:os"
     "step:publish"
     "sec:analysis"
     "sec:level")
    (TeX-add-symbols
     '("href" 2)
     '("MRhref" 2)
     '("extra" 1)
     "bndone"
     "bndzero"
     "bysame"
     "MR")
    (TeX-run-style-hooks
     "xy"
     "all"
     "latex2e"
     "mcom-l10"
     "mcom-l"
     "macros"))))