session.tex: nsert blank lines in order to guarantee new paragraphs   for each file (otherwise TeX would easily choke on large input);
session.tex: nsert blank lines in order to guarantee new paragraphs
  for each file (otherwise TeX would easily choke on large input);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle