dynamic exec state lookup for implicit position information (e.g. 'definition' without binding);
dynamic exec state lookup for implicit position information (e.g. 'definition' without binding);

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