Очистка динамической памяти

type spis=^tbook;
     {книги}
     book=record
     autor:array[1..12] of char;
     titleFIO:array[1..32] of char;
     publisher:array[1..16] of char;
     year:word;
     pages:word;
     end;
     {список книг}
     tbook=record
       data:book;
       pr,sl:spis;
     end;
...
{Процедура освобождения памяти занятой списком}
Procedure CleanSpisok(spis1:spis);
var
  tmp:spis;
begin
  while spis1<>nil do {пока spis1 не станет указывать в "пустоту" делать}
  begin
    tmp:=spis1; {указатель tmp направим на вершину списка}
    spis1:=spis1^.sl; {вершину списка перенесём на следующий за данной вершиной элемент}
    FreeMem(tmp,SizeOf(book)); {освободим память занятую под старую вершину}
  end;
end;

FreeMem(tmp,SizeOf(book));

FreeMem(tmp,SizeOf(tbook));

FreeMem(tmp,SizeOf(tbook))

  //Если список p существовал ранее - значит ссылка на него будет потеряна
  //и этот список окажется "мёртвым". - Т. к. после выполнения New(p) его адрес будет
  //неизвестен. И его нельзя ни использовать ни удалить.
  //New(p) делает следующее - выделяет новый участок памяти размером, который определён
  //типом указателя p. Затем указатель на этот вновь выделенный участок памяти
  //записывается в переменную p. Таким образом, прежние данные в переменной p пропадут.
  new(p);
  //Здесь гарантировано будет p<>nil, потому что
  //на предыдущей строке кода мы выделили память и указатель на этот блок памяти записали в
  //переменную p. Поэтому будет выполнен вызов CleanSpisok(p), который освободит только что
  //выделенную область в памяти.
  if p=nil then new(p) else CleanSpisok(p);

procedure destroy(var spis1:spis);
var tmp:spis;
begin
while spis1<>nil do
 begin
  tmp:=spis1;
  spis1:=spis1^.sl;
  dispose(tmp);
 end;
end;

{Процедура добавления нового элемента в список}
procedure AddElemSpisok(var spis1:spis;znach1:book);
var
  tmp:spis;
begin
  if spis1=nil then {Проверяем не пуст ли список, если пуст, то }
  begin
    GetMem(spis1,sizeof(tbook));  {создаём его первый элемент}
    tmp:=spis1;
  end
  else {в случае если список не пуст}
  begin
    tmp:=spis1;
    while tmp^.sl<>nil do
      tmp:=tmp^.sl; {ставим tmp на последний элемент списка}
    GetMem(tmp^.sl,sizeof(tbook)); {создаём следующий элемент}
    tmp:=tmp^.sl;   {переносим tmp на новый элемент}
  end;
  tmp^.sl:=nil; {зануляем указатель}
  tmp^.data:=znach1; {заносим значение}
end;