Removed "standard" call from uresult, to allow specialist applications
Removed "standard" call from uresult, to allow specialist applications

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