Key points are not available for this paper at this time.
We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite 4-manifold with non-cyclic fundamental group Z/2 Z/2.
Harris et al. (Mon,) studied this question.