  We present a closed model structure for the category of pro-spectra in which
the weak equivalences are detected by stable homotopy pro-groups. With some
bounded-below assumptions, weak equivalences are also detected by cohomology as
in the classical Whitehead theorem for spectra. We establish an
Atiyah-Hirzebruch spectral sequence in this context, which makes possible the
computation of topological K-theory (and other generalized cohomology theories)
of pro-spectra.
