Есть задача: создать новый типизированный файл, добавив к двум записям предыдущего файла третью запись.
Есть программка, которая вроде бы запускается и вроде бы работает:

Единственное что - таинственные файлы file1.txt и file2.txt не появляются...
(есличо: change dir сделал, программу сохранил...)

Подскажите, пожалуйста, правильно ли составлена сама прога?

В том виде, в котором ты программу привел, она не может ни запускаться ни работать... Она даже не должна компилироваться, потому что Write с бестиповыми файлами использовать нельзя.

Если ты запускал другую программу - так и скажи...

эту
Правда, запускал не я, но тот, кто запускал, грит, что работает...
Будет file of string...
Так будет работать?

Меня особо волнует момент, где считываются две записи с первого файла... оно пойдет вообще все в одну переменную, или нет?..

И так не будет... Чтобы не играть глухие телефоны - уточни, какая именно была программа.

В смысле, какая была?

Задание: создать новый типизированный файл, добавив к двум записям предыдущего файла третью запись (имеется в виду, что "предыдущий" файл ты тоже создаешь сам).

Я написал вышеприведенную программу...

Вышеприведенная программа неработоспособна, я уже говорил...

Вот это - работает:

program files;
type str_type = string[20];
var
  f1, f2: file of str_type;
  a: str_type;

begin
  assign(f1,'file1.txt'); rewrite(f1);
  a := 'zapys 1'; write(f1, a);
  a := 'zapys 2'; write(f1, a);
  close(f1);

  reset(f1);
  assign(f2,'file2.txt'); rewrite(f2);
  while not eof(f1) do begin
    read(f1, a);
    write(f2, a);
  end;
  a := 'zapis 3'; write(f2, a);
  close(f1);
  close(f2);
end.