Mixing attractors for 3-flows

We prove that every non-trivial attractor is mixing for a generic 3-flow in G(1)(M), the interior of the 3-flows for which all periodic orbits and singularities are hyperbolic. This implies an extension of a result by Bowen (1976 Mixing Anosov flows Topology 15 77-9): C-1 robust transitive sets with singularities for generic flows in G(1)(M) are mixing. In particular, generic Lorenz attractors are transitive sets for their corresponding time-t map, t not equal 0.