Exotic definite four-manifolds with non-cyclic fundamental group

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite 4-manifold with non-cyclic fundamental group Z/2 Z/2.