Translation infixes <->, etc., no longer available at top-level
Translation infixes <->, etc., no longer available at top-level

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