unified Args.T with OuterLex.token, renamed some operations; removed obsolete parse_args (cf. parse);
unified Args.T with OuterLex.token, renamed some operations;
removed obsolete parse_args (cf. parse);

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