By finding fixed point free involutions on certain exotic simply connected four-manifolds with small Euler characteristic, we show that smooth definite four-manifolds with fundamental group Z/2Z and positive second Betti number admit infinitely many exotic structures. This is joint work with Zoltan Szabo