  We derive Feynman rules for gauge theories exhibiting spontaneous symmetry
breaking using the real-time formalism of finite temperature field theory. We
also derive the thermal propagators where only the physical degrees of freedom
are given thermal boundary conditions. We analyse the abelian Higgs model and
find that these new propagators simplify the calculation of the thermal
contribution to the self energy.
