Updated read_insts to approximate simultaneous type checking of substitution pairs.
Updated read_insts to approximate simultaneous type checking of substitution
pairs.

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