Finite quaternion-free 2-groups

We present an elementary proof of the classification theorem for finite nonmodular quaternion-free 2-groups. This proof does not involve the structure theory of powerful 2-groups. Such a new proof is also necessary, since there are several gaps in the original proof given in 5].