t-model structures

For every stable model category M with a certain extra structure, we produce an associated model structure on the pro-category pro-M and a spectral sequence, analogous to the Atiyah-Hirzebruch spectral sequence, with reasonably good convergence properties for computing in the homotopy category of pro-M. Our motivating example is the category of pro-spectra.