unified Args.T with OuterLex.token, renamed some operations; moved thm_sel to attrib.ML;
unified Args.T with OuterLex.token, renamed some operations;
moved thm_sel to attrib.ML;

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