* ML/Pure: generic Args/Attrib syntax everywhere;
* ML/Pure: generic Args/Attrib syntax everywhere;

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