  The equation of state and the properties of neutron stars are studied for a
phase transition to a charged kaon condensate. We study the mixed phase by
using Gibbs condition with comparison to the hitherto applied Maxwell
construction. Implications for kaon condensation and for the mass-radius
relation of condensed neutron stars are examined.
