The prime ideal theory of the
Grothendieck and Witt ring of non-degenerate hermitian forms over a Dedekind ring
with involution is studied. The relationship of these rings to those defined over the
quotient field of the Dedekind ring is also investigated.