declare_skofuns/skolem: canonical argument order; minor tuning;
declare_skofuns/skolem: canonical argument order;
minor tuning;

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