split ast_of_term(T); ast_of_term now marks frees; added token translation support;
split ast_of_term(T);
ast_of_term now marks frees;
added token translation support;

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