  We study a class of geometric Lorenz flows, introduced independently by
Afraimovic, Bykov & Sil'nikov and by Guckenheimer & Williams, and give a
verifiable condition for such flows to be mixing. As a consequence, we show
that the classical Lorenz attractor is mixing.
