Replaced foldl nodup_TVars by nodup_TVars_list -- for a big speedup on Poly/ML
Replaced foldl nodup_TVars by nodup_TVars_list -- for a big speedup on Poly/ML

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