clarified Table.make_set: duplicate arguments are allowed, like Table.make_list or Scala Set() formation;
clarified Table.make_set: duplicate arguments are allowed, like Table.make_list or Scala Set() formation;

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