recovered Locale.intern from d51bac27d4a0 (still used in AFP/Simp);
recovered Locale.intern from d51bac27d4a0 (still used in AFP/Simp);

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