We consider a model of heat diffusion in the situation where there is a phase change arising from the freezing or thawing of the medium at a fixed temperature. After describing the phase relation between energy and temperature, we formulate the Stefan free-boundary problem which describes heat conduction subject to such constitutive assumptions on the phase relation between energy and temperature. The well-posedness as an evolution equation is briefly discussed.