canonical Term.add_var_names, Term.add_tvar_namesT;
canonical Term.add_var_names, Term.add_tvar_namesT;

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