tuned method syntax: polymorhic term argument; tuned rule instantiation;
tuned method syntax: polymorhic term argument;
tuned rule instantiation;

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