added if_none, parents, commas, gen_duplicates, duplicates, assoc2; changed cat_lines: no final "\n";
added if_none, parents, commas, gen_duplicates, duplicates, assoc2;
changed cat_lines: no final "\n";

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