(TeX-add-style-hook "s30prodinger"
 (lambda ()
    (TeX-run-style-hooks
     "amstex")))