Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab.
Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab.

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