Antiq: inner vs. outer position; scan_antiq: use T.scan_quoted;
Antiq: inner vs. outer position;
scan_antiq: use T.scan_quoted;

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