(TeX-add-style-hook "jetchev-lauter-stein-kolyconj"
 (lambda ()
    (LaTeX-add-bibliographies
     "biblio")
    (LaTeX-add-environments
     "thm"
     "prop"
     "cor"
     "lem"
     "defn"
     "rem"
     "conj")
    (LaTeX-add-labels
     "sec:intro"
     "thm:GZK"
     "conj:an-MW"
     "conj:an-corank"
     "sec:heegpts"
     "subsec:heegdefs"
     "subsec:heegptscomp"
     "eqn:modparam"
     "subsec:ptsexamples"
     "sec:kolconj"
     "subsec:prelim"
     "prop:inequal"
     "subsec:kolclasses"
     "eqn:cocycle"
     "subsec:kolconj"
     "conj:kolconj"
     "subsec:selmer"
     "thm:kolselstruct"
     "cor:large-selmer"
     "subsec:cornut"
     "prop:evidence"
     "lem:fintors"
     "lem:D0"
     "subsec:389a1"
     "prop:389-verify"
     "sec:expl-sha"
     "prop:nontriv"
     "hyp:sel"
     "hyp:nondiv"
     "hyp:parity"
     "prop:53a1"
     "subsec:lfunc"
     "thm:zhang"
     "eqn:height"
     "subsec:asymptotic"
     "subsec:heightbds")
    (TeX-add-symbols
     '("textcyr" 1)
     '("comment" 1)
     '("smallmtwo" 4)
     '("vtwo" 2)
     '("mtwo" 4)
     '("mthree" 9)
     '("abcd" 4)
     '("set" 1)
     '("xra" 1)
     '("kr" 2)
     '("pkg" 1)
     '("code" 1)
     "an"
     "MW"
     "Sel"
     "cO"
     "cN"
     "sltwoz"
     "sltwo"
     "gltwoz"
     "mtwoz"
     "gltwoq"
     "gltwo"
     "gln"
     "psltwoz"
     "psltwo"
     "h"
     "p"
     "m"
     "trho"
     "rhol"
     "rhoss"
     "Gam"
     "X"
     "cH"
     "cA"
     "cF"
     "cG"
     "cJ"
     "cL"
     "cV"
     "cQ"
     "cX"
     "ds"
     "M"
     "E"
     "J"
     "galq"
     "rhobar"
     "cM"
     "cB"
     "cE"
     "cR"
     "et"
     "rb"
     "ra"
     "hra"
     "la"
     "lra"
     "riso"
     "da"
     "ua"
     "con"
     "Gm"
     "pni"
     "iv"
     "alp"
     "bq"
     "cpp"
     "tensor"
     "bg"
     "twopii"
     "eps"
     "vphi"
     "gp"
     "W"
     "oz"
     "Zpstar"
     "Zhat"
     "Zbar"
     "Zl"
     "Q"
     "GQ"
     "R"
     "D"
     "cC"
     "cD"
     "cP"
     "cS"
     "Sbar"
     "K"
     "C"
     "Cp"
     "Sets"
     "bcC"
     "Qbar"
     "kbar"
     "dual"
     "T"
     "calT"
     "cT"
     "cbT"
     "cU"
     "Z"
     "F"
     "Fl"
     "Fell"
     "Flbar"
     "Flnu"
     "Fbar"
     "Fpbar"
     "fbar"
     "Qp"
     "Ql"
     "Qell"
     "Qlbar"
     "Qlnr"
     "Qlur"
     "Qltm"
     "Qv"
     "Qpbar"
     "Zp"
     "Fp"
     "Fq"
     "Fqbar"
     "Ad"
     "adz"
     "A"
     "Og"
     "isom"
     "ncisom"
     "Sha"
     "Filedate"
     "Fileversion")
    (TeX-run-style-hooks
     "amscd"
     "amsthm"
     "amssymb"
     "amsfonts"
     "amsmath"
     "centertags"
     "latex2e"
     "compositio10"
     "compositio")))