full localization with possibly multiple entries; explicit prohibition of fixed type variables
full localization with possibly multiple entries;
explicit prohibition of fixed type variables

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