removed unused location_of; eval: actually pass location properties (via "file" field);
removed unused location_of;
eval: actually pass location properties (via "file" field);

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