avoid trait Addable, which is deprecated in scala-2.9.x; tuned;
avoid trait Addable, which is deprecated in scala-2.9.x;
tuned;

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