internalize error into command transaction -- relevant for commands that are declared via 'keywords', but not defined yet;
internalize error into command transaction -- relevant for commands that are declared via 'keywords', but not defined yet;

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