Changing measurable into small accessible cardinals

We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into ${\mathrm{\aleph }}_{\omega }$.