  We study the properties of the two-point spectral form factor for classically
chaotic systems with spin 1/2 in the semiclassical limit, with a suitable
semiclassical trace formula as our principal tool. To this end we introduce a
regularized form factor and discuss the limit in which the so-called diagonal
approximation can be recovered. The incorporation of the spin contribution to
the trace formula requires an appropriate variant of the equidistribution
principle of long periodic orbits as well as the notion of a skew product of
the classical translational and spin dynamics. Provided this skew product is
mixing, we show that generically the diagonal approximation of the form factor
coincides with the respective predictions from random matrix theory.
