proper treatment of advanced trfuns: pass thy argument; tuned warning;
proper treatment of advanced trfuns: pass thy argument;
tuned warning;

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