localized typedef; Typedef.get_info can yield multiple typedef interpretations, even in a global context; misc tuning and modernization;
localized typedef;
Typedef.get_info can yield multiple typedef interpretations, even in a global context;
misc tuning and modernization;

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