explicit root_path, parent_path; derived absolute_path; tuned;
explicit root_path, parent_path;
derived absolute_path;
tuned;

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